OSCL-LXR

0001 # SPDX-License-Identifier: GPL-2.0-only
0002 #
0003 # Makefile for drivers that support virtualization
0004 #
0005
0006 obj-$(CONFIG_FSL_HV_MANAGER)    += fsl_hypervisor.o
0007 obj-$(CONFIG_VMGENID)           += vmgenid.o
0008 obj-y                           += vboxguest/
0009
0010 obj-$(CONFIG_NITRO_ENCLAVES)    += nitro_enclaves/
0011 obj-$(CONFIG_ACRN_HSM)          += acrn/
0012 obj-$(CONFIG_EFI_SECRET)        += coco/efi_secret/
0013 obj-$(CONFIG_SEV_GUEST)         += coco/sev-guest/