15 lines
424 B
Makefile
15 lines
424 B
Makefile
# SPDX-License-Identifier: GPL-2.0-only
|
|
#
|
|
# Makefile for drivers that support virtualization
|
|
#
|
|
|
|
obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o
|
|
obj-$(CONFIG_VMGENID) += vmgenid.o
|
|
obj-y += vboxguest/
|
|
|
|
obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/
|
|
obj-$(CONFIG_ACRN_HSM) += acrn/
|
|
obj-$(CONFIG_EFI_SECRET) += coco/efi_secret/
|
|
obj-$(CONFIG_SEV_GUEST) += coco/sev-guest/
|
|
obj-$(CONFIG_INTEL_TDX_GUEST) += coco/tdx-guest/
|