Merge pull request #8556 from fidencio/topic/kernel-add-tdx-guest-driver

kernel: Add CONFIG_TDX_GUEST_DRIVER to the tdx.conf
This commit is contained in:
Fabiano Fidêncio
2023-12-04 15:13:57 +01:00
committed by GitHub
2 changed files with 3 additions and 1 deletions

View File

@@ -5,6 +5,8 @@ CONFIG_EFI_STUB=y
CONFIG_INTEL_IOMMU_SVM=y CONFIG_INTEL_IOMMU_SVM=y
CONFIG_INTEL_TDX_GUEST=y CONFIG_INTEL_TDX_GUEST=y
CONFIG_OF=y CONFIG_OF=y
CONFIG_TDX_GUEST_DRIVER=y
CONFIG_VIRT_DRIVERS=y
CONFIG_X86_5LEVEL=y CONFIG_X86_5LEVEL=y
CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS=y CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS=y
CONFIG_X86_PLATFORM_DEVICES=y CONFIG_X86_PLATFORM_DEVICES=y

View File

@@ -1 +1 @@
118 119