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 diff --git a/config-generic b/config-generic index 5840e72d0..0b39cd5da 100644 --- a/config-generic +++ b/config-generic @@ -3738,6 +3738,7 @@ CONFIG_DEBUG_RODATA_TEST=y CONFIG_DEBUG_NX_TEST=m CONFIG_DEBUG_SET_MODULE_RONX=y CONFIG_DEBUG_BOOT_PARAMS=y +CONFIG_DEBUG_VM=y # CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set CONFIG_LOCKUP_DETECTOR=y # CONFIG_DEBUG_INFO_REDUCED is not set diff --git a/config-nodebug b/config-nodebug index 0eb253221..c14754265 100644 --- a/config-nodebug +++ b/config-nodebug @@ -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