diff options
Diffstat (limited to 'kernel-armv7hl-lpae-debug-fedora.config')
-rw-r--r-- | kernel-armv7hl-lpae-debug-fedora.config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel-armv7hl-lpae-debug-fedora.config b/kernel-armv7hl-lpae-debug-fedora.config index a93f7295d..e9fd26b32 100644 --- a/kernel-armv7hl-lpae-debug-fedora.config +++ b/kernel-armv7hl-lpae-debug-fedora.config @@ -1438,6 +1438,8 @@ CONFIG_DEBUG_HIGHMEM=y CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_KERNEL_DC is not set CONFIG_DEBUG_KERNEL=y +# CONFIG_DEBUG_KMAP_LOCAL_FORCE_MAP is not set +CONFIG_DEBUG_KMAP_LOCAL=y # CONFIG_DEBUG_KMEMLEAK_AUTO_SCAN is not set CONFIG_DEBUG_KMEMLEAK_DEFAULT_OFF=y CONFIG_DEBUG_KMEMLEAK_MEM_POOL_SIZE=4096 @@ -5519,6 +5521,7 @@ CONFIG_RESET_TI_SYSCON=m CONFIG_RFKILL_GPIO=m CONFIG_RFKILL_INPUT=y CONFIG_RFKILL=m +# CONFIG_RH_DISABLE_DEPRECATED is not set # CONFIG_RHEL_DIFFERENCES is not set CONFIG_RING_BUFFER_BENCHMARK=m # CONFIG_RING_BUFFER_STARTUP_TEST is not set @@ -7689,7 +7692,7 @@ CONFIG_USB_RAINSHADOW_CEC=m CONFIG_USB_RAW_GADGET=m CONFIG_USB_ROLE_SWITCH=m CONFIG_USB_RTL8150=m -# CONFIG_USB_RTL8152 is not set, or the RTL8153 device is not +CONFIG_USB_RTL8152=m CONFIG_USB_RTL8153_ECM=m CONFIG_USB_S2255=m CONFIG_USB_SERIAL_AIRCABLE=m |