diff options
Diffstat (limited to 'kernel-armv7hl-debug.config')
| -rw-r--r-- | kernel-armv7hl-debug.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config index ecdf04a95..84b507183 100644 --- a/kernel-armv7hl-debug.config +++ b/kernel-armv7hl-debug.config @@ -4885,7 +4885,7 @@ CONFIG_PROC_EVENTS=y CONFIG_PROC_FS=y CONFIG_PROC_KCORE=y CONFIG_PROC_PID_CPUSET=y -# CONFIG_PROC_VMCORE_DEVICE_DUMP is not set +CONFIG_PROC_VMCORE_DEVICE_DUMP=y CONFIG_PROC_VMCORE=y # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set CONFIG_PROFILING=y |