public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* PROFILE_NMI kernel config symbol
@ 2007-08-02 12:47 John Sigler
  2007-08-06  8:52 ` John Sigler
  0 siblings, 1 reply; 3+ messages in thread
From: John Sigler @ 2007-08-02 12:47 UTC (permalink / raw)
  To: linux-rt-users; +Cc: linux-kernel, oprofile-list

Hello,

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.)

Regards.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: PROFILE_NMI kernel config symbol
  2007-08-02 12:47 PROFILE_NMI kernel config symbol John Sigler
@ 2007-08-06  8:52 ` John Sigler
  2007-08-06 11:11   ` Ingo Molnar
  0 siblings, 1 reply; 3+ messages in thread
From: John Sigler @ 2007-08-06  8:52 UTC (permalink / raw)
  To: linux-rt-users; +Cc: linux-kernel

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?

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: PROFILE_NMI kernel config symbol
  2007-08-06  8:52 ` John Sigler
@ 2007-08-06 11:11   ` Ingo Molnar
  0 siblings, 0 replies; 3+ messages in thread
From: Ingo Molnar @ 2007-08-06 11:11 UTC (permalink / raw)
  To: John Sigler; +Cc: linux-rt-users, linux-kernel


* 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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2007-08-06 11:12 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2007-08-02 12:47 PROFILE_NMI kernel config symbol John Sigler
2007-08-06  8:52 ` John Sigler
2007-08-06 11:11   ` Ingo Molnar

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox