diff options
Diffstat (limited to 'config-debug')
| -rw-r--r-- | config-debug | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config-debug b/config-debug index ca1ba2b59..03964c6c4 100644 --- a/config-debug +++ b/config-debug @@ -8,7 +8,6 @@ CONFIG_DEBUG_MUTEXES=y CONFIG_DEBUG_RT_MUTEXES=y CONFIG_DEBUG_LOCK_ALLOC=y CONFIG_PROVE_LOCKING=y -CONFIG_DEBUG_VM=y CONFIG_DEBUG_SPINLOCK=y CONFIG_PROVE_RCU=y # CONFIG_PROVE_RCU_REPEATEDLY is not set |