| 1 | # SPDX-License-Identifier: GPL-2.0-only |
| 2 | # |
| 3 | # Makefile for drivers that support virtualization |
| 4 | # |
| 5 | |
| 6 | obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o |
| 7 | obj-$(CONFIG_VMGENID) += vmgenid.o |
| 8 | obj-$(CONFIG_STEAL_GOVERNOR) += steal_governor.o |
| 9 | obj-y += vboxguest/ |
| 10 | |
| 11 | obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ |
| 12 | obj-$(CONFIG_ACRN_HSM) += acrn/ |
| 13 | obj-y += coco/ |