Messages in this thread | | | Date | Mon, 6 Aug 2007 13:11:50 +0200 | From | Ingo Molnar <> | Subject | Re: PROFILE_NMI kernel config symbol |
| |
* John Sigler <linux.kernel@free.fr> wrote:
> John Sigler wrote: > > >The -rt patch includes the following update: > > > >Index: linux/arch/i386/oprofile/Kconfig > >=================================================================== > >--- linux.orig/arch/i386/oprofile/Kconfig > >+++ linux/arch/i386/oprofile/Kconfig > >@@ -15,3 +15,6 @@ config OPROFILE > > > > If unsure, say N. > > > >+config PROFILE_NMI > >+ bool > >+ default y > > > > > >What is the purpose of the PROFILE_NMI config symbol? > >(It does not seem to be used anywhere else in the -rt patch.) > > Should I provide a patch removing this configuration option?
indeed it's a leftover - i've zapped it.
Ingo - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |