diff options
Diffstat (limited to 'kernel-armv7hl-fedora.config')
| -rw-r--r-- | kernel-armv7hl-fedora.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl-fedora.config b/kernel-armv7hl-fedora.config index 4a2788a41..f21d3eec3 100644 --- a/kernel-armv7hl-fedora.config +++ b/kernel-armv7hl-fedora.config @@ -5504,7 +5504,7 @@ CONFIG_PROC_VMCORE=y CONFIG_PROFILING=y CONFIG_PROVE_CXL_LOCKING=y # CONFIG_PROVE_LOCKING is not set -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 |