kernel: add a top level menuconfig option for enabling lockdep
authorFelix Fietkau <nbd@openwrt.org>
Tue, 8 Nov 2011 00:32:57 +0000 (00:32 +0000)
committerFelix Fietkau <nbd@openwrt.org>
Tue, 8 Nov 2011 00:32:57 +0000 (00:32 +0000)
SVN-Revision: 28848

Config.in
target/linux/generic/config-2.6.30
target/linux/generic/config-2.6.31
target/linux/generic/config-2.6.32
target/linux/generic/config-2.6.36
target/linux/generic/config-2.6.37
target/linux/generic/config-2.6.38
target/linux/generic/config-2.6.39
target/linux/generic/config-3.0
target/linux/generic/config-3.1

index 331219a335626e648dd92e319c8d040ff8574329..f46781866e1267045329a7b5ff7b21b1e28772cd 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -235,6 +235,11 @@ menu "Global build settings"
                bool "Enable process core dump support"
                default y
 
+       config KERNEL_PROVE_LOCKING
+               bool "Enable kernel lock checking"
+               select KERNEL_DEBUG_KERNEL
+               default n
+
        comment "Package build options"
 
        config DEBUG
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
index a65bb2c410a713509dfa192b8b523979cf05e98a..c79c657c84e483945f3b4610ab2f987726dbfa73 100644 (file)
@@ -429,6 +429,7 @@ CONFIG_CRYPTO=y
 # CONFIG_DEBUG_BUGVERBOSE is not set
 CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_KERNEL is not set
+# CONFIG_DEBUG_LOCKDEP is not set
 # CONFIG_DEBUG_MEMORY_INIT is not set
 # CONFIG_DEBUG_PAGEALLOC is not set
 # CONFIG_DEBUG_RODATA is not set
@@ -1699,6 +1700,8 @@ CONFIG_PROC_FS=y
 # CONFIG_PROC_PAGE_MONITOR is not set
 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
index f4a0606712451cba27ee6e76762cde750d968066..37a2714310e024779d045c740e5273cd2b7a0059 100644 (file)
@@ -455,6 +455,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
@@ -1793,6 +1794,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
index 086d0ce2ae0547fc2842e7234910615e96a2b7fb..1950559c11807f7c9a12c74950af89404cbbc9b0 100644 (file)
@@ -478,6 +478,7 @@ CONFIG_DEBUG_INFO_REDUCED=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
@@ -1839,6 +1840,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_QLA3XXX is not set
 # CONFIG_QLCNIC is not set
 # CONFIG_QNX4FS_FS is not set
index 10db07dbd2b610fc9a028b1b688d2d863dbcfd1f..0d5ed5357687bc8c6b3d8048b417a0b49251a2da 100644 (file)
@@ -489,6 +489,7 @@ CONFIG_DEBUG_INFO_REDUCED=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
@@ -1874,6 +1875,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_QLA3XXX is not set
 # CONFIG_QLCNIC is not set
 # CONFIG_QNX4FS_FS is not set
index 19bd30f4e50eb1a38191f4a042dc4ad3644599a8..f6002c24b4598d4825ed8b584e32e98bdc8a8052 100644 (file)
@@ -501,6 +501,7 @@ CONFIG_DEBUG_INFO_REDUCED=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
@@ -1906,6 +1907,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_QLA3XXX is not set
 # CONFIG_QLCNIC is not set
 # CONFIG_QNX4FS_FS is not set
index 08bb4cfe10378be44a03b1a9fbaf3db8474e7d98..2d3d9ba0b4f7845f06b03d03a63d89037847ee2f 100644 (file)
@@ -504,6 +504,7 @@ CONFIG_DEBUG_INFO_REDUCED=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
@@ -1944,6 +1945,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_PSTORE is not set
 # CONFIG_QLA3XXX is not set
 # CONFIG_QLCNIC is not set
index cce0cdf1278db0b59f1f43a32a5bf666eb4b6c9a..dd4d15394033e4d0650225dac007727adef96077 100644 (file)
@@ -498,6 +498,7 @@ CONFIG_DEBUG_INFO_REDUCED=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
@@ -1935,6 +1936,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_PSTORE is not set
 # CONFIG_QLA3XXX is not set
 # CONFIG_QLCNIC is not set
index 74804cf415478a398fa5cbde8c25c39a3de0e195..28b12235bca5c4f7ee83b2a43f64bf5bf7859b2f 100644 (file)
@@ -504,6 +504,7 @@ CONFIG_DEBUG_KERNEL=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
@@ -1952,6 +1953,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_PSTORE is not set
 # CONFIG_QLA3XXX is not set
 # CONFIG_QLCNIC is not set