xref: /openbmc/linux/drivers/virt/Makefile (revision 6c8c1406)
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-y				+= vboxguest/
9
10obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/
11obj-$(CONFIG_ACRN_HSM)		+= acrn/
12obj-$(CONFIG_EFI_SECRET)	+= coco/efi_secret/
13obj-$(CONFIG_SEV_GUEST)		+= coco/sev-guest/
14obj-$(CONFIG_INTEL_TDX_GUEST)	+= coco/tdx-guest/
15