diff options
Diffstat (limited to 'config-debug')
| -rw-r--r-- | config-debug | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-debug b/config-debug index e22532600..3a11e2824 100644 --- a/config-debug +++ b/config-debug @@ -8,6 +8,7 @@ CONFIG_DEBUG_MUTEXES=y CONFIG_DEBUG_WW_MUTEX_SLOWPATH=y CONFIG_DEBUG_RT_MUTEXES=y CONFIG_DEBUG_LOCK_ALLOC=y +CONFIG_LOCK_TORTURE_TEST=m CONFIG_PROVE_LOCKING=y CONFIG_DEBUG_SPINLOCK=y CONFIG_PROVE_RCU=y |