X-Git-Url: https://git.archive.openwrt.org/?a=blobdiff_plain;f=Config.in;h=4e874a69de90a6a7c8b6b5ff01baead5fb2afa6d;hb=c2da468a0c461a602b5ff66b857e548a8254be8e;hp=f36221cee660a8aa9aec3e0e6a9751b34c3ab7c7;hpb=913081d31bb50d2c20369f7b8ec47f6f373af565;p=openwrt.git

diff --git a/Config.in b/Config.in
index f36221cee6..4e874a69de 100644
--- a/Config.in
+++ b/Config.in
@@ -145,7 +145,7 @@ menu "Global build settings"
 		bool "Compile with full language support"
 		help
 		  When this option is enabled, packages are built with the full versions of iconv and GNU gettext
-		  instead of the default OpenWrt stubs.
+		  instead of the default OpenWrt stubs. If uClibc is used, it is also built with locale support.
 
 	config SHADOW_PASSWORDS
 		bool
@@ -229,8 +229,21 @@ menu "Global build settings"
 
 	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
@@ -430,6 +443,14 @@ menuconfig 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