diff options
| author | Felix Fietkau <nbd@openwrt.org> | 2011-11-08 00:32:57 +0000 |
|---|---|---|
| committer | Felix Fietkau <nbd@openwrt.org> | 2011-11-08 00:32:57 +0000 |
| commit | b06efd636a7b5e804e2f0d427d0438da0a237eda (patch) | |
| tree | 54616bfab0084e742088170e5e30251bedfcf092 /target/linux/generic/config-2.6.31 | |
| parent | 75e186832a099b0844c697738e1174a7d882c9f6 (diff) | |
| download | upstream-b06efd636a7b5e804e2f0d427d0438da0a237eda.tar.gz upstream-b06efd636a7b5e804e2f0d427d0438da0a237eda.tar.bz2 upstream-b06efd636a7b5e804e2f0d427d0438da0a237eda.zip | |
kernel: add a top level menuconfig option for enabling lockdep
SVN-Revision: 28848
Diffstat (limited to 'target/linux/generic/config-2.6.31')
| -rw-r--r-- | target/linux/generic/config-2.6.31 | 3 |
1 files changed, 3 insertions, 0 deletions
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 |