1ec51ffcfSDan Williams# SPDX-License-Identifier: GPL-2.0-only 2ec51ffcfSDan Williams# 3ec51ffcfSDan Williams# Confidential computing related collateral 4ec51ffcfSDan Williams# 570e6f7e2SDan Williams 670e6f7e2SDan Williamsconfig TSM_REPORTS 770e6f7e2SDan Williams select CONFIGFS_FS 870e6f7e2SDan Williams tristate 970e6f7e2SDan Williams 10ec51ffcfSDan Williamssource "drivers/virt/coco/efi_secret/Kconfig" 11ec51ffcfSDan Williams 12*a06c3fadSWill Deaconsource "drivers/virt/coco/pkvm-guest/Kconfig" 13*a06c3fadSWill Deacon 14ec51ffcfSDan Williamssource "drivers/virt/coco/sev-guest/Kconfig" 15ec51ffcfSDan Williams 16ec51ffcfSDan Williamssource "drivers/virt/coco/tdx-guest/Kconfig" 17