summaryrefslogtreecommitdiffstats
path: root/kernel-armv7hl-lpae.config
diff options
context:
space:
mode:
Diffstat (limited to 'kernel-armv7hl-lpae.config')
-rw-r--r--kernel-armv7hl-lpae.config5
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