diff options
author | Randy Dunlap <rdunlap@xenotime.net> | 2006-04-11 01:53:12 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-04-11 09:18:33 -0400 |
commit | e39632faa0efbddc3aed4f8658f2fa0a8afa2717 (patch) | |
tree | fa9e6cd489a698ca713c4690a0007a58f18bc9e2 /arch | |
parent | 7bee5c0fd2b25d185650cbfa049823e03f648c09 (diff) |
[PATCH] menu: relocate DOUBLEFAULT option
Move the DOUBLEFAULT option from the top-level menu to the EMBEDDED menu.
Only applicable to X86_32.
Signed-off-by: Randy Dunlap <rdunlap@xenotime.net>
Signed-off-by: Adrian Bunk <bunk@stusta.de>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'arch')
-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 | ||