diff options
Diffstat (limited to 'kernel-armv7hl-debug.config')
| -rw-r--r-- | kernel-armv7hl-debug.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config index 350c47bc0..319083f92 100644 --- a/kernel-armv7hl-debug.config +++ b/kernel-armv7hl-debug.config @@ -4763,6 +4763,7 @@ CONFIG_PROFILING=y CONFIG_PROVE_LOCKING=y CONFIG_PROVE_RCU=y CONFIG_PSAMPLE=m +# CONFIG_PSI_DEFAULT_DISABLED is not set CONFIG_PSI=y # CONFIG_PSTORE_842_COMPRESS_DEFAULT is not set CONFIG_PSTORE_842_COMPRESS=y |