diff options
Diffstat (limited to 'platforms')
| -rw-r--r-- | platforms/kernel.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/platforms/kernel.in b/platforms/kernel.in index a0230a037..fc89c9aaf 100644 --- a/platforms/kernel.in +++ b/platforms/kernel.in @@ -265,6 +265,18 @@ config KERNEL_LIBELF STACK_VALIDATION enabled. Stack validation is used for the orc unwinder for kernel version >= v4.14 on x86_64. +config KERNEL_GCC_PLUGINS + prompt "allow gcc plugins" + bool + help + The kernel kconfig options to enable gcc plugins depend on a + sufficiently new host compiler. As a result, the kernel config + may change with a different host compiler version. + If this option is disabled then the environment is manipulated + to ensure that the compiler check always fails. This keeps the + kernel config stable. + Enable this option when the kernel gcc plugins are used. + menu "patching & configuration " config KERNEL_SERIES |