diff options
author | 2006-01-11 22:47:00 +0100 | |
---|---|---|
committer | 2006-01-11 19:05:04 -0800 | |
commit | 4092bdebab46235d69fcd68afc710cddad550892 (patch) | |
tree | fafc19afdec2d7706444efde462dbefc6c06c0e8 /arch/i386 | |
parent | [PATCH] x86_64: Allow kernel page tables upto the end of memory (diff) | |
download | linux-4092bdebab46235d69fcd68afc710cddad550892.tar.gz linux-4092bdebab46235d69fcd68afc710cddad550892.tar.bz2 linux-4092bdebab46235d69fcd68afc710cddad550892.zip |
[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')
-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 81ae9627701d..d5d0df7f04fc 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 |