Date: Tue, 1 Mar 2016 13:34:04 -0800 From: Kees Cook <keescook@...omium.org> To: Emese Revfy <re.emese@...il.com> Cc: linux-kbuild <linux-kbuild@...r.kernel.org>, PaX Team <pageexec@...email.hu>, Brad Spengler <spender@...ecurity.net>, "kernel-hardening@...ts.openwall.com" <kernel-hardening@...ts.openwall.com>, Michal Marek <mmarek@...e.com>, Rasmus Villemoes <linux@...musvillemoes.dk>, Fengguang Wu <fengguang.wu@...el.com> Subject: Re: [PATCH v4 1/3] GCC plugin infrastructure On Tue, Mar 1, 2016 at 1:19 PM, Kees Cook <keescook@...omium.org> wrote: > On Tue, Mar 1, 2016 at 9:15 AM, Emese Revfy <re.emese@...il.com> wrote: >> diff --git a/arch/Kconfig b/arch/Kconfig >> index 155e6cd..4c54ef0 100644 >> --- a/arch/Kconfig >> +++ b/arch/Kconfig >> @@ -357,6 +357,19 @@ config SECCOMP_FILTER >> >> See Documentation/prctl/seccomp_filter.txt for details. >> >> +config HAVE_GCC_PLUGINS >> + bool >> + help >> + An arch should select this symbol if it supports building with >> + GCC plugins. >> + >> +menuconfig GCC_PLUGINS >> + bool "GCC plugins" >> + depends on HAVE_GCC_PLUGINS >> + help >> + GCC plugins are loadable modules that provide extra features to the >> + compiler. They are useful for runtime instrumentation and static analysis. >> + >> config HAVE_CC_STACKPROTECTOR >> bool >> help > > endmenu is missing? Sorry, ignore my noise. However, my confusion does point on that maybe gcc plugin config should live in tools/gcc/Kconfig and be included here? -Kees -- Kees Cook Chrome OS & Brillo Security
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.