| # SPDX-License-Identifier: GPL-2.0-only | |
| # | |
| # Confidential computing related collateral | |
| # | |
| if VIRT_DRIVERS | |
| source "drivers/virt/coco/efi_secret/Kconfig" | |
| source "drivers/virt/coco/pkvm-guest/Kconfig" | |
| source "drivers/virt/coco/sev-guest/Kconfig" | |
| source "drivers/virt/coco/tdx-guest/Kconfig" | |
| source "drivers/virt/coco/arm-cca-guest/Kconfig" | |
| source "drivers/virt/coco/guest/Kconfig" | |
| endif | |
| source "drivers/virt/coco/tdx-host/Kconfig" | |
| config TSM | |
| bool |