diff options
| -rw-r--r-- | arch/i386/Kconfig | 9 | ||||
| -rw-r--r-- | init/Kconfig | 9 |
2 files changed, 9 insertions, 9 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 | |||
| 47 | 47 | ||
| 48 | source "init/Kconfig" | 48 | source "init/Kconfig" |
| 49 | 49 | ||
| 50 | config DOUBLEFAULT | ||
| 51 | default y | ||
| 52 | bool "Enable doublefault exception handler" if EMBEDDED | ||
| 53 | help | ||
| 54 | This option allows trapping of rare doublefault exceptions that | ||
| 55 | would otherwise cause a system to silently reboot. Disabling this | ||
| 56 | option saves about 4k and might cause you much additional grey | ||
| 57 | hair. | ||
| 58 | |||
| 50 | menu "Processor type and features" | 59 | menu "Processor type and features" |
| 51 | 60 | ||
| 52 | choice | 61 | choice |
diff --git a/init/Kconfig b/init/Kconfig index 9bdd5492a95b..25f4d74adf7e 100644 --- a/init/Kconfig +++ b/init/Kconfig | |||
| @@ -326,15 +326,6 @@ config BUG | |||
| 326 | option for embedded systems with no facilities for reporting errors. | 326 | option for embedded systems with no facilities for reporting errors. |
| 327 | Just say Y. | 327 | Just say Y. |
| 328 | 328 | ||
| 329 | config DOUBLEFAULT | ||
| 330 | depends X86 | ||
| 331 | default y if X86 | ||
| 332 | bool "Enable doublefault exception handler" if EMBEDDED | ||
| 333 | help | ||
| 334 | This option allows trapping of rare doublefault exceptions that | ||
| 335 | would otherwise cause a system to silently reboot. Disabling this | ||
| 336 | option saves about 4k. | ||
| 337 | |||
| 338 | config ELF_CORE | 329 | config ELF_CORE |
| 339 | default y | 330 | default y |
| 340 | bool "Enable ELF core dumps" if EMBEDDED | 331 | bool "Enable ELF core dumps" if EMBEDDED |
