162306a36Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 262306a36Sopenharmony_ci# 362306a36Sopenharmony_ci# Makefile for drivers that support virtualization 462306a36Sopenharmony_ci# 562306a36Sopenharmony_ci 662306a36Sopenharmony_ciobj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o 762306a36Sopenharmony_ciobj-$(CONFIG_VMGENID) += vmgenid.o 862306a36Sopenharmony_ciobj-y += vboxguest/ 962306a36Sopenharmony_ci 1062306a36Sopenharmony_ciobj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 1162306a36Sopenharmony_ciobj-$(CONFIG_ACRN_HSM) += acrn/ 1262306a36Sopenharmony_ciobj-$(CONFIG_EFI_SECRET) += coco/efi_secret/ 1362306a36Sopenharmony_ciobj-$(CONFIG_SEV_GUEST) += coco/sev-guest/ 1462306a36Sopenharmony_ciobj-$(CONFIG_INTEL_TDX_GUEST) += coco/tdx-guest/ 15