[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20070806111150.GB29370@elte.hu>
Date: Mon, 6 Aug 2007 13:11:50 +0200
From: Ingo Molnar <mingo@...e.hu>
To: John Sigler <linux.kernel@...e.fr>
Cc: linux-rt-users@...r.kernel.org, linux-kernel@...r.kernel.org
Subject: Re: PROFILE_NMI kernel config symbol
* John Sigler <linux.kernel@...e.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@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists