drivers/virt/Makefile


1
2
3
4
5
6
7
8
9
10
11
12

# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for drivers that support virtualization
#

obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
obj-$(CONFIG_VMGENID)		+= vmgenid.o
obj-y				+= vboxguest/

obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/
obj-$(CONFIG_ACRN_HSM)		+= acrn/
obj-$(CONFIG_EFI_SECRET)	+= coco/efi_secret/