From 5539426aa536ed93697dd09426790e44a11b0ed5 Mon Sep 17 00:00:00 2001 From: mglae Date: Mon, 7 Oct 2024 19:50:21 +0200 Subject: [PATCH 1/2] kernel config: Generic: add support for X2APIC From Kconfig: Some Intel systems circa 2022 and later are locked into x2APIC mode and can not fall back to the legacy APIC modes if SGX or TDX are enabled in the BIOS. They will boot with very reduced functionality without enabling this option. --- projects/Generic/linux/linux.x86_64.conf | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index 93c5478631..c6359e5123 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -325,7 +325,7 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y # Processor type and features # CONFIG_SMP=y -# CONFIG_X86_X2APIC is not set +CONFIG_X86_X2APIC=y CONFIG_X86_MPPARSE=y # CONFIG_GOLDFISH is not set # CONFIG_X86_CPU_RESCTRL is not set @@ -348,6 +348,7 @@ CONFIG_PARAVIRT_TIME_ACCOUNTING=y CONFIG_PARAVIRT_CLOCK=y # CONFIG_JAILHOUSE_GUEST is not set # CONFIG_ACRN_GUEST is not set +# CONFIG_INTEL_TDX_GUEST is not set # CONFIG_MK8 is not set # CONFIG_MPSC is not set # CONFIG_MCORE2 is not set @@ -436,6 +437,7 @@ CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS=y CONFIG_X86_INTEL_TSX_MODE_OFF=y # CONFIG_X86_INTEL_TSX_MODE_ON is not set # CONFIG_X86_INTEL_TSX_MODE_AUTO is not set +# CONFIG_X86_SGX is not set # CONFIG_X86_USER_SHADOW_STACK is not set CONFIG_EFI=y CONFIG_EFI_STUB=y From 2bd0640f0037585c431d58b233e545e6db94e0d8 Mon Sep 17 00:00:00 2001 From: mglae Date: Mon, 7 Oct 2024 19:50:40 +0200 Subject: [PATCH 2/2] kernel config: Generic: add Intel Volume Management Device Driver Part of current Intel Chip Sets e.g. Alder Lake. Used for NVMEs Konfig help: Adds support for the Intel Volume Management Device (VMD). VMD is a secondary PCI host bridge that allows PCI Express root ports, and devices attached to them, to be removed from the default PCI domain and placed within the VMD domain. This provides more bus resources than are otherwise possible with a single domain. --- projects/Generic/linux/linux.x86_64.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index c6359e5123..5587ad2c51 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -1657,7 +1657,7 @@ CONFIG_VGA_ARB_MAX_GPUS=16 # # PCI controller drivers # -# CONFIG_VMD is not set +CONFIG_VMD=y # # Cadence-based PCIe controllers