X-Git-Url: https://git.rohieb.name/openwrt.git/blobdiff_plain/543e578b89ee5d890b7085903e37d2e983206960..d9b73ec6744d03a52142bc36837750e8bb33b744:/target/linux/generic/config-2.6.31 diff --git a/target/linux/generic/config-2.6.31 b/target/linux/generic/config-2.6.31 index a65bb2c41..c79c657c8 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