at91: create sdcard image for sama5

[openwrt/openwrt.git] / config / Config-kernel.in

diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index f65e3dab40468b5ccd7e1860d03332f2fe739c72..678323efa1497003cb9356e46fb3fba020d1851f 100644 (file)
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -48,7 +48,7 @@ config KERNEL_ARM_PMU
        depends on (arm || arm64)
 
 config KERNEL_PERF_EVENTS
-       bool
+       bool "Compile the kernel with performance events and counters"
        default n
        select KERNEL_ARM_PMU if (arm || arm64)
 
@@ -231,6 +231,16 @@ config KERNEL_RELAY
 config KERNEL_KEXEC
        bool "Enable kexec support"
 
+config KERNEL_PROC_VMCORE
+       bool
+
+config KERNEL_CRASH_DUMP
+       depends on i386 || x86_64 || arm || armeb
+       select KERNEL_KEXEC
+       select KERNEL_PROC_VMCORE
+       bool "Enable support for kexec crashdump"
+       default y
+
 config USE_RFKILL
        bool "Enable rfkill support"
        default RFKILL_SUPPORT
@@ -244,7 +254,7 @@ config KERNEL_DEVTMPFS
        default n
        help
          devtmpfs is a simple, kernel-managed /dev filesystem. The kernel creates
-         devices nodes for all registered devices ti simplify boot, but leaves more
+         devices nodes for all registered devices to simplify boot, but leaves more
          complex tasks to userspace (e.g. udev).
 
 if KERNEL_DEVTMPFS