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-$(CONFIG_EFI_SECRET) += coco/efi_secret/ 13obj-$(CONFIG_SEV_GUEST) += coco/sev-guest/ 14obj-$(CONFIG_INTEL_TDX_GUEST) += coco/tdx-guest/ 15