# SPDX-License-Identifier: GPL-2.0-only
#
# Confidential computing related collateral
#

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"