X-Git-Url: http://git.openwrt.org/?a=blobdiff_plain;f=Config.in;h=f46781866e1267045329a7b5ff7b21b1e28772cd;hb=e0d57fdb3b8f8ff0952c127a5308b625f940c28f;hp=651e73a1b243e44dda30211dd0f06affd17e5e44;hpb=26b12f93f49cca5a256b6ea91728144dd84181d7;p=openwrt%2Fsvn-archive%2Farchive.git

diff --git a/Config.in b/Config.in
index 651e73a1b2..f46781866e 100644
--- a/Config.in
+++ b/Config.in
@@ -227,6 +227,19 @@ menu "Global build settings"
 		bool "Compile the kernel with asynchronous IO support"
 		default n
 
+	config KERNEL_MAGIC_SYSRQ
+		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
+
 	comment "Package build options"
 
 	config DEBUG
@@ -421,6 +434,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