diff options
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/i386/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig index 81ae9627701..d5d0df7f04f 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 |