diff options
Diffstat (limited to 'kernel-armv7hl.config')
| -rw-r--r-- | kernel-armv7hl.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl.config b/kernel-armv7hl.config index 02344ab2b..50e558ab5 100644 --- a/kernel-armv7hl.config +++ b/kernel-armv7hl.config @@ -4863,7 +4863,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 |