From mboxrd@z Thu Jan 1 00:00:00 1970 Reply-To: kernel-hardening@lists.openwall.com Date: Wed, 2 Mar 2016 22:18:45 +0100 From: Emese Revfy Message-Id: <20160302221845.1025c8ca6a5039cb2d7dbb84@gmail.com> In-Reply-To: References: <20160301181400.9c623ee9230381da90b89b2a@gmail.com> <20160301181514.dc3dadeb7e18b77a09dddb7f@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: [kernel-hardening] Re: [PATCH v4 1/3] GCC plugin infrastructure To: Kees Cook Cc: linux-kbuild , PaX Team , Brad Spengler , "kernel-hardening@lists.openwall.com" , Michal Marek , Rasmus Villemoes , Fengguang Wu List-ID: On Tue, 1 Mar 2016 13:34:04 -0800 Kees Cook wrote: > On Tue, Mar 1, 2016 at 1:19 PM, Kees Cook wrote: > > On Tue, Mar 1, 2016 at 9:15 AM, Emese Revfy 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