diff options
| author | Randy Dunlap <rdunlap@xenotime.net> | 2006-04-10 22:53:12 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-04-11 06:18:33 -0700 |
| commit | e39632faa0efbddc3aed4f8658f2fa0a8afa2717 (patch) | |
| tree | fa9e6cd489a698ca713c4690a0007a58f18bc9e2 /arch/i386 | |
| 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/i386')
| -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 Say N. -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. - endmenu |