linux/drivers/virt/coco/Makefile

# SPDX-License-Identifier: GPL-2.0-only
#
# Confidential computing related collateral
#
obj-$(CONFIG_TSM_REPORTS)	+= tsm.o
obj-$(CONFIG_EFI_SECRET)	+= efi_secret/
obj-$(CONFIG_SEV_GUEST)		+= sev-guest/
obj-$(CONFIG_INTEL_TDX_GUEST)	+= tdx-guest/