default or selected kernelversion does not have config value CONFIG_DOUBLEFAULT.
Result is shown for kernelversion 6.9.9
Enable doublefault exception handler
modulename: doublefault.ko
configname: CONFIG_DOUBLEFAULT
Linux Kernel Configuration
└─>Kernel hacking
└─>Enable doublefault exception handler
In linux kernel since version 2.6.16 (release Date: 2006-03-19)
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.
would otherwise cause a system to silently reboot. Disabling this
option saves about 4k and might cause you much additional grey
hair.