aboutsummaryrefslogtreecommitdiffstats
path: root/arch
diff options
context:
space:
mode:
authorRandy Dunlap <rdunlap@xenotime.net>2006-04-11 01:53:12 -0400
committerLinus Torvalds <torvalds@g5.osdl.org>2006-04-11 09:18:33 -0400
commite39632faa0efbddc3aed4f8658f2fa0a8afa2717 (patch)
treefa9e6cd489a698ca713c4690a0007a58f18bc9e2 /arch
parent7bee5c0fd2b25d185650cbfa049823e03f648c09 (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/Kconfig9
1 files changed, 0 insertions, 9 deletions
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig
index f17bd1d2707..cbc6be62f6e 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
760config 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
769endmenu 760endmenu
770 761
771 762