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"
15