diff options
Diffstat (limited to 'kernel-armv7hl-lpae-debug-fedora.config')
| -rw-r--r-- | kernel-armv7hl-lpae-debug-fedora.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl-lpae-debug-fedora.config b/kernel-armv7hl-lpae-debug-fedora.config index 1375cc4ff..9faeb7cd1 100644 --- a/kernel-armv7hl-lpae-debug-fedora.config +++ b/kernel-armv7hl-lpae-debug-fedora.config @@ -5400,7 +5400,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 |