diff options
Diffstat (limited to 'kernel-ppc64le-debug-rhel.config')
| -rw-r--r-- | kernel-ppc64le-debug-rhel.config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernel-ppc64le-debug-rhel.config b/kernel-ppc64le-debug-rhel.config index 1af18be07..824597e5f 100644 --- a/kernel-ppc64le-debug-rhel.config +++ b/kernel-ppc64le-debug-rhel.config @@ -235,6 +235,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 @@ -1413,13 +1414,16 @@ 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_FAKE_MEMMAP is not set CONFIG_EFI_GENERIC_STUB_INITRD_CMDLINE_LOADER=y CONFIG_EFI_PARTITION=y # CONFIG_EFI_PGT_DUMP is not set # CONFIG_EFI_RCI2_TABLE is not set +# CONFIG_EFI_SECRET is not set CONFIG_EFI_SOFT_RESERVE=y # CONFIG_EFI_TEST is not set # CONFIG_EFS_FS is not set @@ -2223,6 +2227,7 @@ CONFIG_INTEGRITY=y # CONFIG_INTEL_IDMA64 is not set # CONFIG_INTEL_IDXD_COMPAT is not set CONFIG_INTEL_IDXD=m +# CONFIG_INTEL_IFS is not set # CONFIG_INTEL_INT0002_VGPIO is not set # CONFIG_INTEL_IOMMU_DEBUGFS is not set # CONFIG_INTEL_IOMMU_SCALABLE_MODE_DEFAULT_ON is not set @@ -2248,6 +2253,7 @@ CONFIG_INTEL_SDSI=m # CONFIG_INTEL_SOC_PMIC_CHTWC is not set # CONFIG_INTEL_SOC_PMIC is not set # CONFIG_INTEL_TCC_COOLING is not set +# CONFIG_INTEL_TDX_GUEST is not set # CONFIG_INTEL_TH is not set CONFIG_INTEL_TURBO_MAX_3=y CONFIG_INTEL_UNCORE_FREQ_CONTROL=m @@ -3776,6 +3782,7 @@ CONFIG_NVME_TARGET_TCP=m CONFIG_NVME_TCP=m # CONFIG_NVME_VERBOSE_ERRORS is not set CONFIG_NVRAM=m +# CONFIG_NVSW_SN2201 is not set # CONFIG_NXP_C45_TJA11XX_PHY is not set # CONFIG_NXP_TJA11XX_PHY is not set # CONFIG_OCFS2_FS is not set @@ -4259,6 +4266,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 @@ -4978,6 +4986,7 @@ CONFIG_SERIO_RAW=m CONFIG_SERIO_SERPORT=m # CONFIG_SERIO_XILINX_XPS_PS2 is not set CONFIG_SERIO=y +CONFIG_SEV_GUEST=m # CONFIG_SFC_FALCON is not set CONFIG_SFC=m CONFIG_SFC_MCDI_LOGGING=y @@ -6606,6 +6615,7 @@ CONFIG_WATCH_QUEUE=y # 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 |