CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_REL=y
CONFIG_CLONE_BACKWARDS=y
+CONFIG_OLD_SIGACTION=y
#
# GCOV-based kernel profiling
# Processor type and features
#
CONFIG_X86_BIGSMP=y
+# CONFIG_X86_GOLDFISH is not set
# CONFIG_X86_WANT_INTEL_MID is not set
# CONFIG_X86_RDC321X is not set
CONFIG_X86_32_NON_STANDARD=y
# Kernel hacking
#
# CONFIG_DEBUG_HIGHMEM is not set
+
+#
+# RCU Debugging
+#
CONFIG_DOUBLEFAULT=y
#