diff options
Diffstat (limited to 'kernel-x86_64-debug-rhel.config')
| -rw-r--r-- | kernel-x86_64-debug-rhel.config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernel-x86_64-debug-rhel.config b/kernel-x86_64-debug-rhel.config index e6a2f23b5..648e077d9 100644 --- a/kernel-x86_64-debug-rhel.config +++ b/kernel-x86_64-debug-rhel.config @@ -259,6 +259,7 @@ CONFIG_ARM64_ERRATUM_2119858=y CONFIG_ARM64_ERRATUM_2139208=y CONFIG_ARM64_ERRATUM_2224489=y CONFIG_ARM64_ERRATUM_2253138=y +CONFIG_ARM64_SME=y CONFIG_ARM64_USE_LSE_ATOMICS=y CONFIG_ARM_CMN=m # CONFIG_ARM_MHU_V2 is not set @@ -1513,8 +1514,10 @@ CONFIG_EEPROM_MAX6875=m # CONFIG_EFI_ARMSTUB_DTB_LOADER is not set # CONFIG_EFI_BOOTLOADER_CONTROL is not set # CONFIG_EFI_CAPSULE_LOADER is not set +# CONFIG_EFI_COCO_SECRET is not set CONFIG_EFI_CUSTOM_SSDT_OVERLAYS=y # CONFIG_EFI_DISABLE_PCI_DMA is not set +# CONFIG_EFI_DISABLE_RUNTIME is not set CONFIG_EFI_DXE_MEM_ATTRIBUTES=y # CONFIG_EFI_FAKE_MEMMAP is not set CONFIG_EFI_GENERIC_STUB_INITRD_CMDLINE_LOADER=y @@ -1523,6 +1526,7 @@ CONFIG_EFI_PARTITION=y # CONFIG_EFI_PGT_DUMP is not set CONFIG_EFI_RCI2_TABLE=y CONFIG_EFI_RUNTIME_MAP=y +# CONFIG_EFI_SECRET is not set CONFIG_EFI_SOFT_RESERVE=y CONFIG_EFI_STUB=y # CONFIG_EFI_TEST is not set @@ -2358,6 +2362,7 @@ CONFIG_INTEL_IDMA64=m CONFIG_INTEL_IDXD=m CONFIG_INTEL_IDXD_PERFMON=y CONFIG_INTEL_IDXD_SVM=y +# CONFIG_INTEL_IFS is not set # CONFIG_INTEL_INT0002_VGPIO is not set CONFIG_INTEL_IOATDMA=m CONFIG_INTEL_IOMMU_DEBUGFS=y @@ -2400,6 +2405,7 @@ CONFIG_INTEL_SDSI=m # CONFIG_INTEL_SOC_PMIC is not set CONFIG_INTEL_SPEED_SELECT_INTERFACE=m # CONFIG_INTEL_TCC_COOLING is not set +# CONFIG_INTEL_TDX_GUEST is not set CONFIG_INTEL_TH_ACPI=m # CONFIG_INTEL_TH_DEBUG is not set CONFIG_INTEL_TH_GTH=m @@ -3955,6 +3961,7 @@ CONFIG_NVME_TARGET_TCP=m CONFIG_NVME_TCP=m # CONFIG_NVME_VERBOSE_ERRORS is not set CONFIG_NVRAM=y +# CONFIG_NVSW_SN2201 is not set # CONFIG_NV_TCO is not set # CONFIG_NXP_C45_TJA11XX_PHY is not set # CONFIG_NXP_TJA11XX_PHY is not set @@ -4429,6 +4436,7 @@ CONFIG_RC_LOOPBACK=m CONFIG_RC_MAP=m CONFIG_RCU_CPU_STALL_TIMEOUT=60 # CONFIG_RCU_EQS_DEBUG is not set +CONFIG_RCU_EXP_CPU_STALL_TIMEOUT=0 # CONFIG_RCU_EXPERT is not set CONFIG_RCU_NOCB_CPU=y CONFIG_RCU_REF_SCALE_TEST=m @@ -5173,6 +5181,7 @@ CONFIG_SERIO_LIBPS2=y CONFIG_SERIO_RAW=m CONFIG_SERIO_SERPORT=m CONFIG_SERIO=y +CONFIG_SEV_GUEST=m # CONFIG_SFC_FALCON is not set CONFIG_SFC=m CONFIG_SFC_MCDI_LOGGING=y @@ -6840,6 +6849,7 @@ CONFIG_WDAT_WDT=m # CONFIG_WILC1000_SDIO is not set # CONFIG_WILC1000_SPI is not set # CONFIG_WINDFARM is not set +# CONFIG_WINMATE_FM07_KEYS is not set # CONFIG_WIREGUARD_DEBUG is not set CONFIG_WIREGUARD=m CONFIG_WIRELESS_HOTKEY=m |