[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <46B6E166.6090507@free.fr>
Date: Mon, 06 Aug 2007 10:52:54 +0200
From: John Sigler <linux.kernel@...e.fr>
To: linux-rt-users@...r.kernel.org
CC: linux-kernel@...r.kernel.org
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?
-
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