1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3# Makefile for drivers that support virtualization
 4#
 5
 6obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
 7obj-$(CONFIG_VMGENID)		+= vmgenid.o
 8obj-y				+= vboxguest
 9
10obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves
11obj-$(CONFIG_ACRN_HSM)		+= acrn
12obj-y				+= coco

 1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3# Makefile for drivers that support virtualization
 4#
 5
 6obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
 7obj-$(CONFIG_VMGENID)		+= vmgenid.o
 8obj-y				+= vboxguest
 9
10obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves
11obj-$(CONFIG_ACRN_HSM)		+= acrn
12obj-y				+= coco