diff options
Diffstat (limited to 'target/linux/generic/config-3.1')
| -rw-r--r-- | target/linux/generic/config-3.1 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/target/linux/generic/config-3.1 b/target/linux/generic/config-3.1 index 74804cf41..28b12235b 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 |