* John Sigler <linux.kernel@xxxxxxx> 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-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
