blob: e9aa6fc96fab7242a9963d9a834722af24e4b6a2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# 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/
|
