commit 132b1171b08c4894e6b2ebb213f3072b958f80f2
author Vishal Annapurve <vannapurve@google.com> Mon Aug 28 22:46:57 2023 +0000
committer Jianxiong Gao <jxgao@google.com> Fri Jan 12 23:09:06 2024 +0000
tree ea943548312542a7f3e254fcdafde9120eb49994
parent cb3e355b0e972a707d7bd333f21f43e6b4868d2d

TDX: Enable TDX guest driver module

Signed-off-by: Vishal Annapurve <vannapurve@google.com>

arch/x86/configs/lakitu_defconfig

diff --git a/arch/x86/configs/lakitu_defconfig b/arch/x86/configs/lakitu_defconfig
index a4187e2..71e3837 100644
--- a/arch/x86/configs/lakitu_defconfig
+++ b/arch/x86/configs/lakitu_defconfig
@@ -2977,7 +2977,7 @@
 # CONFIG_NITRO_ENCLAVES is not set
 # CONFIG_EFI_SECRET is not set
 CONFIG_SEV_GUEST=y
-# CONFIG_TDX_GUEST_DRIVER is not set
+CONFIG_TDX_GUEST_DRIVER=y
 CONFIG_VIRTIO_ANCHOR=y
 CONFIG_VIRTIO=y
 CONFIG_VIRTIO_PCI_LIB=y