1 # SPDX-License-Identifier: GPL-2.0-only
3 # Makefile for drivers that support virtualization
6 obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o
7 obj-$(CONFIG_VMGENID) += vmgenid.o
10 obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/
11 obj-$(CONFIG_ACRN_HSM) += acrn/
12 obj-$(CONFIG_EFI_SECRET) += coco/efi_secret/
13 obj-$(CONFIG_SEV_GUEST) += coco/sev-guest/