diff options
Diffstat (limited to 'kernel-armv7hl-debug-fedora.config')
-rw-r--r-- | kernel-armv7hl-debug-fedora.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl-debug-fedora.config b/kernel-armv7hl-debug-fedora.config index 070c30b3b..2ab8167e9 100644 --- a/kernel-armv7hl-debug-fedora.config +++ b/kernel-armv7hl-debug-fedora.config @@ -5528,7 +5528,7 @@ CONFIG_PROC_VMCORE=y CONFIG_PROFILING=y CONFIG_PROVE_CXL_LOCKING=y CONFIG_PROVE_LOCKING=y -CONFIG_PROVE_NVDIMM_LOCKING=y +# CONFIG_PROVE_NVDIMM_LOCKING is not set # CONFIG_PROVE_RAW_LOCK_NESTING is not set CONFIG_PRU_REMOTEPROC=m CONFIG_PSAMPLE=m |