diff options
Diffstat (limited to 'kernel-armv7hl-debug.config')
| -rw-r--r-- | kernel-armv7hl-debug.config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config index 545248782..75e81fbd6 100644 --- a/kernel-armv7hl-debug.config +++ b/kernel-armv7hl-debug.config @@ -2014,7 +2014,10 @@ CONFIG_GAMEPORT_FM801=m CONFIG_GAMEPORT_L4=m CONFIG_GAMEPORT=m CONFIG_GAMEPORT_NS558=m -# CONFIG_GCC_PLUGINS is not set +# CONFIG_GCC_PLUGIN_LATENT_ENTROPY is not set +# CONFIG_GCC_PLUGIN_RANDSTRUCT is not set +# CONFIG_GCC_PLUGIN_STRUCTLEAK is not set +CONFIG_GCC_PLUGINS=y # CONFIG_GCOV_KERNEL is not set # CONFIG_GDB_SCRIPTS is not set CONFIG_GENERIC_ADC_BATTERY=m |