1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3# Confidential computing related collateral
 4#
 5
 6config TSM_REPORTS
 7	select CONFIGFS_FS
 8	tristate
 9
10source "drivers/virt/coco/efi_secret/Kconfig"
11
12source "drivers/virt/coco/sev-guest/Kconfig"
13
14source "drivers/virt/coco/tdx-guest/Kconfig"