diff options
Diffstat (limited to 'arch/i386/Kconfig')
-rw-r--r-- | arch/i386/Kconfig | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig index f17bd1d2707e..cbc6be62f6e3 100644 --- a/arch/i386/Kconfig +++ b/arch/i386/Kconfig | |||
@@ -757,15 +757,6 @@ config HOTPLUG_CPU | |||
757 | 757 | ||
758 | Say N. | 758 | Say N. |
759 | 759 | ||
760 | config DOUBLEFAULT | ||
761 | default y | ||
762 | bool "Enable doublefault exception handler" if EMBEDDED | ||
763 | help | ||
764 | This option allows trapping of rare doublefault exceptions that | ||
765 | would otherwise cause a system to silently reboot. Disabling this | ||
766 | option saves about 4k and might cause you much additional grey | ||
767 | hair. | ||
768 | |||
769 | endmenu | 760 | endmenu |
770 | 761 | ||
771 | 762 | ||