# SPDX-License-Identifier: GPL-2.0-only
#
# Confidential computing related collateral
#
obj-$(CONFIG_EFI_SECRET)	+= efi_secret/
obj-$(CONFIG_ARM_PKVM_GUEST)	+= pkvm-guest/
obj-$(CONFIG_SEV_GUEST)		+= sev-guest/
obj-$(CONFIG_INTEL_TDX_GUEST)	+= tdx-guest/
obj-$(CONFIG_ARM_CCA_GUEST)	+= arm-cca-guest/
obj-$(CONFIG_TSM) 		+= tsm-core.o
obj-$(CONFIG_TSM_GUEST)		+= guest/