diff options
Diffstat (limited to 'kernel-ppc64le-rhel.config')
| -rw-r--r-- | kernel-ppc64le-rhel.config | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel-ppc64le-rhel.config b/kernel-ppc64le-rhel.config index 73e2ab446..d01f2c23f 100644 --- a/kernel-ppc64le-rhel.config +++ b/kernel-ppc64le-rhel.config @@ -953,6 +953,7 @@ CONFIG_DEBUG_STACKOVERFLOW=y # CONFIG_DEBUG_VIRTUAL is not set # CONFIG_DEBUG_VM is not set # CONFIG_DEBUG_VM_PGFLAGS is not set +# CONFIG_DEBUG_VM_PGTABLE is not set # CONFIG_DEBUG_VM_RB is not set # revisit this if performance isn't horrible # CONFIG_DEBUG_VM_VMACACHE is not set # CONFIG_DEBUG_WQ_FORCE_RR_CPU is not set @@ -966,6 +967,7 @@ CONFIG_DEFAULT_FQ_CODEL=y # CONFIG_DEFAULT_FQ is not set CONFIG_DEFAULT_HOSTNAME="(none)" CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=120 +CONFIG_DEFAULT_INIT="" CONFIG_DEFAULT_MMAP_MIN_ADDR=4096 CONFIG_DEFAULT_NET_SCH="fq_codel" # CONFIG_DEFAULT_PFIFO_FAST is not set @@ -1878,6 +1880,7 @@ CONFIG_ICE=m # CONFIG_ICP10100 is not set CONFIG_ICPLUS_PHY=m # CONFIG_ICS932S401 is not set +# CONFIG_ICST is not set # CONFIG_IDE is not set # CONFIG_IDLE_INJECT is not set CONFIG_IDLE_PAGE_TRACKING=y @@ -3780,6 +3783,7 @@ CONFIG_POWER_RESET_GPIO=y # CONFIG_POWER_RESET_RESTART is not set # CONFIG_POWER_RESET_SYSCON is not set # CONFIG_POWER_RESET_SYSCON_POWEROFF is not set +# CONFIG_POWER_RESET_VEXPRESS is not set CONFIG_POWER_RESET=y # CONFIG_POWER_SUPPLY_DEBUG is not set CONFIG_POWER_SUPPLY_HWMON=y @@ -5195,6 +5199,7 @@ CONFIG_TERANETICS_PHY=m # CONFIG_TEST_ASYNC_DRIVER_PROBE is not set # CONFIG_TEST_BITFIELD is not set # CONFIG_TEST_BITMAP is not set +# CONFIG_TEST_BITOPS is not set # CONFIG_TEST_BLACKHOLE_DEV is not set # CONFIG_TEST_BPF is not set # CONFIG_TEST_FIRMWARE is not set @@ -5737,6 +5742,7 @@ CONFIG_UWB_WHCI=m # CONFIG_VEML6030 is not set # CONFIG_VEML6070 is not set CONFIG_VETH=m +CONFIG_VEXPRESS_CONFIG=y CONFIG_VEXPRESS_SYSCFG=y CONFIG_VFAT_FS=m CONFIG_VFIO_IOMMU_TYPE1=m |