From: Vitaly Kuznetsov <vkuznets(a)redhat.com>
Enable TDX Guest driver
Enable guest driver (attestation) for Intel TDX.
Signed-off-by: Vitaly Kuznetsov <vkuznets(a)redhat.com>
diff --git a/redhat/configs/common/generic/CONFIG_TDX_GUEST_DRIVER
b/redhat/configs/common/generic/CONFIG_TDX_GUEST_DRIVER
new file mode 100644
index blahblah..blahblah 100644
--- /dev/null
+++ b/redhat/configs/common/generic/CONFIG_TDX_GUEST_DRIVER
@@ -0,0 +1 @@
+CONFIG_TDX_GUEST_DRIVER=m
diff --git a/redhat/configs/pending-ark/generic/CONFIG_TDX_GUEST_DRIVER
b/redhat/configs/pending-ark/generic/CONFIG_TDX_GUEST_DRIVER
deleted file mode 100644
index blahblah..blahblah 0
--- a/redhat/configs/pending-ark/generic/CONFIG_TDX_GUEST_DRIVER
+++ /dev/null
@@ -1,13 +0,0 @@
-# Symbol: TDX_GUEST_DRIVER [=n]
-# Type : tristate
-# Defined at drivers/virt/coco/tdx-guest/Kconfig:1
-# Prompt: TDX Guest driver
-# Depends on: VIRT_DRIVERS [=y] && INTEL_TDX_GUEST [=y]
-# Location:
-# -> Device Drivers
-# -> Virtualization drivers (VIRT_DRIVERS [=y])
-# -> TDX Guest driver (TDX_GUEST_DRIVER [=n])
-#
-#
-#
-# CONFIG_TDX_GUEST_DRIVER is not set
diff --git a/redhat/configs/pending-fedora/generic/CONFIG_TDX_GUEST_DRIVER
b/redhat/configs/pending-fedora/generic/CONFIG_TDX_GUEST_DRIVER
deleted file mode 100644
index blahblah..blahblah 0
--- a/redhat/configs/pending-fedora/generic/CONFIG_TDX_GUEST_DRIVER
+++ /dev/null
@@ -1,13 +0,0 @@
-# Symbol: TDX_GUEST_DRIVER [=n]
-# Type : tristate
-# Defined at drivers/virt/coco/tdx-guest/Kconfig:1
-# Prompt: TDX Guest driver
-# Depends on: VIRT_DRIVERS [=y] && INTEL_TDX_GUEST [=y]
-# Location:
-# -> Device Drivers
-# -> Virtualization drivers (VIRT_DRIVERS [=y])
-# -> TDX Guest driver (TDX_GUEST_DRIVER [=n])
-#
-#
-#
-# CONFIG_TDX_GUEST_DRIVER is not set
--
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2250