ar71xx: add GPIO function bit defines for AR933X

[openwrt.git] / Config.in

diff --git a/Config.in b/Config.in
index 4fc0d1a..736a972 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -231,6 +231,19 @@ menu "Global build settings"
                bool "Compile the kernel with SysRq support"
                default n
 
+       config KERNEL_ELF_CORE
+               bool "Enable process core dump support"
+               default y
+
+       config KERNEL_PROVE_LOCKING
+               bool "Enable kernel lock checking"
+               select KERNEL_DEBUG_KERNEL
+               default n
+
+       config KERNEL_PRINTK_TIME
+               bool "Enable printk timestamps"
+               default y
+
        comment "Package build options"
 
        config DEBUG