13 lines · plain
1# SPDX-License-Identifier: GPL-2.0-only2#3# Makefile for drivers that support virtualization4#5 6obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o7obj-$(CONFIG_VMGENID) += vmgenid.o8obj-y += vboxguest/9 10obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/11obj-$(CONFIG_ACRN_HSM) += acrn/12obj-y += coco/13