1 files changed, 9 insertions, 0 deletions

diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig
index 81ae9627701d..d5d0df7f04fc 100644
--- a/arch/i386/Kconfig
+++ b/arch/i386/Kconfig
@@ -47,6 +47,15 @@ config DMI
 
 source "init/Kconfig"
 
+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.
+
 menu "Processor type and features"
 
 choice