X-Git-Url: http://pilppa.org/gitweb/gitweb.cgi?a=blobdiff_plain;f=arch%2Fi386%2FKconfig.debug;h=c92191b1fb672935527bccbadfdd129065306edb;hb=4e8f10b7ccf1c3c53a818a157962074a7340732e;hp=6e97df6979e859cd9e82b4c47d40a13f0af197d0;hpb=7d14f145f839b5d0d221ea209b4998f93267e2ec;p=linux-2.6-omap-h63xx.git

diff --git a/arch/i386/Kconfig.debug b/arch/i386/Kconfig.debug
index 6e97df6979e..c92191b1fb6 100644
--- a/arch/i386/Kconfig.debug
+++ b/arch/i386/Kconfig.debug
@@ -81,4 +81,13 @@ config X86_MPPARSE
 	depends on X86_LOCAL_APIC && !X86_VISWS
 	default y
 
+config DOUBLEFAULT
+	default y
+	bool "Enable doublefault exception handler" if EMBEDDED
+	help
+          This option allows trapping of rare doublefault exceptions that
+          would otherwise cause a system to silently reboot. Disabling this
+          option saves about 4k and might cause you much additional grey
+          hair.
+
 endmenu