|
@@ -374,6 +374,15 @@ config SLAB
|
|
|
SLOB is more space efficient but does not scale well and is
|
|
|
more susceptible to fragmentation.
|
|
|
|
|
|
+config DOUBLEFAULT
|
|
|
+ default y
|
|
|
+ bool "Enable doublefault exception handler" if EMBEDDED && X86_32
|
|
|
+ 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 # General setup
|
|
|
|
|
|
config TINY_SHMEM
|