diff options
author | Andi Kleen <ak@suse.de> | 2006-01-11 22:47:00 +0100 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-01-11 19:05:04 -0800 |
commit | 4092bdebab46235d69fcd68afc710cddad550892 (patch) | |
tree | fafc19afdec2d7706444efde462dbefc6c06c0e8 /arch/i386/Kconfig | |
parent | 6c5acd160a10c76e8debf4f8fa8256d7c914f290 (diff) | |
download | op-kernel-dev-4092bdebab46235d69fcd68afc710cddad550892.zip op-kernel-dev-4092bdebab46235d69fcd68afc710cddad550892.tar.gz |
[PATCH] i386: Move DOUBLEFAULT config to arch/i386/Kconfig
It has no business being elsewhere and x86-64 doesn't need/want it.
Signed-off-by: Andi Kleen <ak@suse.de>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'arch/i386/Kconfig')
-rw-r--r-- | arch/i386/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig index 81ae9627..d5d0df7 100644 --- a/arch/i386/Kconfig +++ b/arch/i386/Kconfig @@ -47,6 +47,15 @@ config DMI source "init/Kconfig" +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. + menu "Processor type and features" choice |