# SPDX-License-Identifier: GPL-2.0-only## Makefile for drivers that support virtualization# obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.oobj-$(CONFIG_VMGENID)		+= vmgenid.oobj-y				+= vboxguest/ obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/obj-$(CONFIG_ACRN_HSM)		+= acrn/obj-$(CONFIG_EFI_SECRET)	+= coco/efi_secret/obj-$(CONFIG_SEV_GUEST)		+= coco/sev-guest/obj-$(CONFIG_INTEL_TDX_GUEST)	+= coco/tdx-guest/