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 a4c46f55ae2e12461816d6b0346e1da8730c60a3..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)
 
@@ -170,10 +170,6 @@ config KERNEL_AIO
        bool "Compile the kernel with asynchronous IO support"
        default n
 
-config KERNEL_DIRECT_IO
-       bool "Compile the kernel with direct IO support"
-       default n
-
 config KERNEL_FHANDLE
        bool "Compile the kernel with support for fhandle syscalls"
        default n
@@ -235,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
@@ -248,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