* John Sigler [off-list ref] wrote:

John Sigler wrote:

quoted

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