diff options
-rw-r--r-- | kernel-armv7hl-debug-fedora.config | 2 | ||||
-rw-r--r-- | kernel-armv7hl-debug-rhel.config | 1 | ||||
-rw-r--r-- | kernel-armv7hl-fedora.config | 2 | ||||
-rw-r--r-- | kernel-armv7hl-lpae-debug-fedora.config | 2 | ||||
-rw-r--r-- | kernel-armv7hl-lpae-debug-rhel.config | 1 | ||||
-rw-r--r-- | kernel-armv7hl-lpae-fedora.config | 2 | ||||
-rw-r--r-- | kernel-armv7hl-lpae-rhel.config | 1 | ||||
-rw-r--r-- | kernel-armv7hl-rhel.config | 1 | ||||
-rw-r--r-- | kernel-i686-debug-fedora.config | 2 | ||||
-rw-r--r-- | kernel-i686-debug-rhel.config | 1 | ||||
-rw-r--r-- | kernel-i686-fedora.config | 2 | ||||
-rw-r--r-- | kernel-i686-rhel.config | 1 | ||||
-rw-r--r-- | kernel-s390x-debug-fedora.config | 2 | ||||
-rw-r--r-- | kernel-s390x-fedora.config | 2 |
14 files changed, 14 insertions, 8 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 diff --git a/kernel-armv7hl-debug-rhel.config b/kernel-armv7hl-debug-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-armv7hl-debug-rhel.config @@ -0,0 +1 @@ +# EMPTY 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 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 diff --git a/kernel-armv7hl-lpae-debug-rhel.config b/kernel-armv7hl-lpae-debug-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-armv7hl-lpae-debug-rhel.config @@ -0,0 +1 @@ +# EMPTY diff --git a/kernel-armv7hl-lpae-fedora.config b/kernel-armv7hl-lpae-fedora.config index 20bb2d3a7..47cfc672f 100644 --- a/kernel-armv7hl-lpae-fedora.config +++ b/kernel-armv7hl-lpae-fedora.config @@ -5376,7 +5376,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 diff --git a/kernel-armv7hl-lpae-rhel.config b/kernel-armv7hl-lpae-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-armv7hl-lpae-rhel.config @@ -0,0 +1 @@ +# EMPTY diff --git a/kernel-armv7hl-rhel.config b/kernel-armv7hl-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-armv7hl-rhel.config @@ -0,0 +1 @@ +# EMPTY diff --git a/kernel-i686-debug-fedora.config b/kernel-i686-debug-fedora.config index 56591c894..e85a8648d 100644 --- a/kernel-i686-debug-fedora.config +++ b/kernel-i686-debug-fedora.config @@ -4903,7 +4903,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_PROVIDE_OHCI1394_DMA_INIT is not set CONFIG_PSAMPLE=m diff --git a/kernel-i686-debug-rhel.config b/kernel-i686-debug-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-i686-debug-rhel.config @@ -0,0 +1 @@ +# EMPTY diff --git a/kernel-i686-fedora.config b/kernel-i686-fedora.config index e01d27396..d89b4f481 100644 --- a/kernel-i686-fedora.config +++ b/kernel-i686-fedora.config @@ -4879,7 +4879,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_PROVIDE_OHCI1394_DMA_INIT is not set CONFIG_PSAMPLE=m diff --git a/kernel-i686-rhel.config b/kernel-i686-rhel.config new file mode 100644 index 000000000..c76e0e471 --- /dev/null +++ b/kernel-i686-rhel.config @@ -0,0 +1 @@ +# EMPTY diff --git a/kernel-s390x-debug-fedora.config b/kernel-s390x-debug-fedora.config index 33fd668a3..9b75d1b9b 100644 --- a/kernel-s390x-debug-fedora.config +++ b/kernel-s390x-debug-fedora.config @@ -4561,7 +4561,7 @@ CONFIG_PROFILING=y CONFIG_PROTECTED_VIRTUALIZATION_GUEST=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_PSAMPLE=m # CONFIG_PSI_DEFAULT_DISABLED is not set diff --git a/kernel-s390x-fedora.config b/kernel-s390x-fedora.config index 6445cc091..2562ea263 100644 --- a/kernel-s390x-fedora.config +++ b/kernel-s390x-fedora.config @@ -4536,7 +4536,7 @@ CONFIG_PROFILING=y CONFIG_PROTECTED_VIRTUALIZATION_GUEST=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_PSAMPLE=m # CONFIG_PSI_DEFAULT_DISABLED is not set |