Re: PROFILE_NMI kernel config symbol

[Ingo Molnar <mingo@elte.hu>]

* 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/