diff options
Diffstat (limited to 'kernel-ppc64le-debug-rhel.config')
| -rw-r--r-- | kernel-ppc64le-debug-rhel.config | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel-ppc64le-debug-rhel.config b/kernel-ppc64le-debug-rhel.config index dcd912102..7a26faded 100644 --- a/kernel-ppc64le-debug-rhel.config +++ b/kernel-ppc64le-debug-rhel.config @@ -960,6 +960,7 @@ CONFIG_DEBUG_STACK_USAGE=y # CONFIG_DEBUG_TIMEKEEPING is not set # CONFIG_DEBUG_VIRTUAL 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_VM=y @@ -974,6 +975,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 @@ -1894,6 +1896,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 @@ -3796,6 +3799,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 @@ -5213,6 +5217,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 @@ -5755,6 +5760,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 |