2007-08-02 12:49:21

by John Sigler

Subject: PROFILE_NMI kernel config symbol

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.

2007-08-06 08:53:12

by John Sigler

Subject: Re: PROFILE_NMI kernel config symbol

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?

2007-08-06 11:12:13

by Ingo Molnar

Subject: Re: PROFILE_NMI kernel config symbol

* John Sigler <[email protected]> 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