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
/
