diff options
Diffstat (limited to 'target/linux/generic/config-3.0')
| -rw-r--r-- | target/linux/generic/config-3.0 | 2 |
1 files changed, 2 insertions, 0 deletions
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 |