kernel: add a top level menuconfig option for enabling lockdep
SVN-Revision: 28848
This commit is contained in:
parent
75e186832a
commit
b06efd636a
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user