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 ebc8e1f05b9bb1d94267ad174fb2baa6e0a8a8c3..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)
 
@@ -254,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