1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 26db71994STimur Tabi# 36db71994STimur Tabi# Makefile for drivers that support virtualization 46db71994STimur Tabi# 56db71994STimur Tabi 66db71994STimur Tabiobj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o 7af6b54e2SJason A. Donenfeldobj-$(CONFIG_VMGENID) += vmgenid.o 80ba002bcSHans de Goedeobj-y += vboxguest/ 90f5c7b74SAndra Paraschiv 100f5c7b74SAndra Paraschivobj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 11666834c4SShuo Liuobj-$(CONFIG_ACRN_HSM) += acrn/ 12cbabf03cSDov Murikobj-$(CONFIG_EFI_SECRET) += coco/efi_secret/ 13d63670d2STom Lendackyobj-$(CONFIG_SEV_GUEST) += coco/sev-guest/ 14*6c8c1406SKuppuswamy Sathyanarayananobj-$(CONFIG_INTEL_TDX_GUEST) += coco/tdx-guest/ 15