diff options
Diffstat (limited to 'kernel-armv7hl-debug.config')
| -rw-r--r-- | kernel-armv7hl-debug.config | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config index f2aac1cb0..da9b8d6f5 100644 --- a/kernel-armv7hl-debug.config +++ b/kernel-armv7hl-debug.config @@ -1938,7 +1938,7 @@ CONFIG_FPGA_MGR_MACHXO2_SPI=m CONFIG_FPGA_MGR_XILINX_SPI=m CONFIG_FPGA_MGR_ZYNQ_FPGA=m CONFIG_FPGA_REGION=m -CONFIG_FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER=y +# CONFIG_FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER is not set CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y CONFIG_FRAMEBUFFER_CONSOLE=y @@ -1992,6 +1992,8 @@ CONFIG_GAMEPORT_L4=m CONFIG_GAMEPORT=m CONFIG_GAMEPORT_NS558=m # CONFIG_GCC_PLUGINS is not set +CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF_ALL=y +CONFIG_GCC_PLUGIN_STRUCTLEAK_VERBOSE=y # CONFIG_GCOV_KERNEL is not set # CONFIG_GDB_SCRIPTS is not set CONFIG_GENERIC_ADC_BATTERY=m |