File Content: Makefile # SPDX-License-Identifier: GPL-2.0-only # # Makefile for drivers that support virtualization # obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o obj-y += vboxguest/ obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ obj-$(CONFIG_ACRN_HSM) += acrn/ Submit