TDX cannot work on 32-bit host. It's also not worth supported TDX with
32-bit QEMU.
Thus, make TDX depends on !I386.
Signed-off-by: Xiaoyao Li <xiaoyao...@intel.com>
---
hw/i386/Kconfig | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hw/i386/Kconfig b/hw/i386/Kconfig
index 6fc353930985..c58802462a45 100644
--- a/hw/i386/Kconfig
+++ b/hw/i386/Kconfig
@@ -13,7 +13,7 @@ config SGX
config TDX
bool
select X86_FW_OVMF
- depends on KVM
+ depends on KVM && !I386
config PC
bool
--
2.43.0
