kernel: add a top level menuconfig option for enabling lockdep
[openwrt/openwrt.git] / target / linux / generic / config-2.6.30
index 108f7d43b3d46d7a4ad3fe7d8cf61ea140dcc2c3..031512c0b3afe0b5cf95eab0b9a8668449e9e8cf 100644 (file)
@@ -430,6 +430,7 @@ CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_KOBJECT is not set
 # CONFIG_DEBUG_LIST is not set
 # CONFIG_DEBUG_LL is not set
+# CONFIG_DEBUG_LOCKDEP is not set
 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
 # CONFIG_DEBUG_LOCK_ALLOC is not set
 # CONFIG_DEBUG_MEMORY_INIT is not set
@@ -1698,6 +1699,7 @@ CONFIG_PROC_FS=y
 CONFIG_PROC_SYSCTL=y
 # CONFIG_PROFILING is not set
 # CONFIG_PROVE_LOCKING is not set
+# CONFIG_PROVE_RCU is not set
 # CONFIG_QEMU is not set
 # CONFIG_QLA3XXX is not set
 # CONFIG_QNX4FS_FS is not set