|
Message-Id: <20160302221845.1025c8ca6a5039cb2d7dbb84@gmail.com> Date: Wed, 2 Mar 2016 22:18:45 +0100 From: Emese Revfy <re.emese@...il.com> To: Kees Cook <keescook@...omium.org> 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, 1 Mar 2016 13:34:04 -0800 Kees Cook <keescook@...omium.org> wrote: > 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? I don't know, there is no Kconfig under the tools subdirectory yet. Michal Marek, could you please tell me how you would like it? -- Emese
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.