1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Confidential computing related collateral 4# 5obj-$(CONFIG_TSM_REPORTS) += tsm.o 6obj-$(CONFIG_EFI_SECRET) += efi_secret/ 7obj-$(CONFIG_ARM_PKVM_GUEST) += pkvm-guest/ 8obj-$(CONFIG_SEV_GUEST) += sev-guest/ 9obj-$(CONFIG_INTEL_TDX_GUEST) += tdx-guest/ 10