|
@@ -153,6 +153,8 @@ CONFIG_HZ=1000
|
|
|
# CONFIG_PREEMPT_NONE is not set
|
|
|
CONFIG_PREEMPT_VOLUNTARY=y
|
|
|
# CONFIG_PREEMPT is not set
|
|
|
+CONFIG_LOCKDEP_SUPPORT=y
|
|
|
+CONFIG_STACKTRACE_SUPPORT=y
|
|
|
CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
|
|
|
|
|
|
#
|
|
@@ -922,6 +924,7 @@ CONFIG_SGI_PARTITION=y
|
|
|
#
|
|
|
# Kernel hacking
|
|
|
#
|
|
|
+CONFIG_TRACE_IRQFLAGS_SUPPORT=y
|
|
|
# CONFIG_PRINTK_TIME is not set
|
|
|
# CONFIG_MAGIC_SYSRQ is not set
|
|
|
# CONFIG_UNUSED_SYMBOLS is not set
|