Chao Gaococo/tdx-host: Introduce a "tdx_host" device59783355 months agoHistory
23 lines · 451 B · TextRawDownload
# SPDX-License-Identifier: GPL-2.0-only## Confidential computing related collateral# if VIRT_DRIVERSsource "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