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?
-
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
