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-$(CONFIG_STEAL_GOVERNOR) += steal_governor.o 9obj-y += vboxguest/ 10 11obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 12obj-$(CONFIG_ACRN_HSM) += acrn/ 13obj-y += coco/ 14