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-y += vboxguest/ 8 9obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 10obj-$(CONFIG_ACRN_HSM) += acrn/ 11