Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) # SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) # Makefile for drivers that support virtualization
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) obj-y				+= vboxguest/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/