diff options
Diffstat (limited to 'kernel-armv7hl-lpae.config')
| -rw-r--r-- | kernel-armv7hl-lpae.config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel-armv7hl-lpae.config b/kernel-armv7hl-lpae.config index 80c24dd20..afe40d0ee 100644 --- a/kernel-armv7hl-lpae.config +++ b/kernel-armv7hl-lpae.config @@ -1900,7 +1900,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 |