[generic] add missing config symbol

[openwrt.git] / Config.in

diff --git a/Config.in b/Config.in
index cbca037..901d740 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -223,6 +223,27 @@ menu "Global build settings"
                  over the serial console in early boot.
                  Enable this to debug early boot problems.
 
+       config KERNEL_AIO
+               bool "Compile the kernel with asynchronous IO support"
+               default n
+
+       config KERNEL_MAGIC_SYSRQ
+               bool "Compile the kernel with SysRq support"
+               default y
+
+       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
@@ -417,6 +438,19 @@ menuconfig DEVEL
                  In this instance, the --refererence option of git clone will
                  be used thus creating a quick local clone of your repo.
 
+       config BUILD_LOG
+               bool "Enable log files during build process" if DEVEL
+               help
+                 If enabled log files will be written to the ./log directory
+
+       config SRC_TREE_OVERRIDE
+               bool "Enable package source tree override" if DEVEL
+               help
+                 If enabled, you can force a package to use a git tree as source
+                 code instead of the normal tarball. Create a symlink 'git-src'
+                 in the package directory, pointing to the .git tree that you want
+                 to pull the source code from
+
 menuconfig TARGET_OPTIONS
        bool "Target Options"  if DEVEL