From: Felix Fietkau Date: Tue, 8 Nov 2011 00:32:57 +0000 (+0000) Subject: kernel: add a top level menuconfig option for enabling lockdep X-Git-Url: http://git.lede-project.org./?a=commitdiff_plain;h=b06efd636a7b5e804e2f0d427d0438da0a237eda;p=openwrt%2Fstaging%2Fthess.git kernel: add a top level menuconfig option for enabling lockdep SVN-Revision: 28848 --- diff --git a/Config.in b/Config.in index 331219a335..f46781866e 100644 --- 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 diff --git a/target/linux/generic/config-2.6.30 b/target/linux/generic/config-2.6.30 index 108f7d43b3..031512c0b3 100644 --- a/target/linux/generic/config-2.6.30 +++ b/target/linux/generic/config-2.6.30 @@ -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 diff --git a/target/linux/generic/config-2.6.31 b/target/linux/generic/config-2.6.31 index a65bb2c410..c79c657c84 100644 --- a/target/linux/generic/config-2.6.31 +++ b/target/linux/generic/config-2.6.31 @@ -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 diff --git a/target/linux/generic/config-2.6.32 b/target/linux/generic/config-2.6.32 index f4a0606712..37a2714310 100644 --- a/target/linux/generic/config-2.6.32 +++ b/target/linux/generic/config-2.6.32 @@ -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 diff --git a/target/linux/generic/config-2.6.36 b/target/linux/generic/config-2.6.36 index 086d0ce2ae..1950559c11 100644 --- a/target/linux/generic/config-2.6.36 +++ b/target/linux/generic/config-2.6.36 @@ -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 diff --git a/target/linux/generic/config-2.6.37 b/target/linux/generic/config-2.6.37 index 10db07dbd2..0d5ed53576 100644 --- a/target/linux/generic/config-2.6.37 +++ b/target/linux/generic/config-2.6.37 @@ -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 diff --git a/target/linux/generic/config-2.6.38 b/target/linux/generic/config-2.6.38 index 19bd30f4e5..f6002c24b4 100644 --- a/target/linux/generic/config-2.6.38 +++ b/target/linux/generic/config-2.6.38 @@ -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 diff --git a/target/linux/generic/config-2.6.39 b/target/linux/generic/config-2.6.39 index 08bb4cfe10..2d3d9ba0b4 100644 --- a/target/linux/generic/config-2.6.39 +++ b/target/linux/generic/config-2.6.39 @@ -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 diff --git a/target/linux/generic/config-3.0 b/target/linux/generic/config-3.0 index cce0cdf127..dd4d153940 100644 --- a/target/linux/generic/config-3.0 +++ b/target/linux/generic/config-3.0 @@ -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 diff --git a/target/linux/generic/config-3.1 b/target/linux/generic/config-3.1 index 74804cf415..28b12235bc 100644 --- a/target/linux/generic/config-3.1 +++ b/target/linux/generic/config-3.1 @@ -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