X-Git-Url: https://git.rohieb.name/openwrt.git/blobdiff_plain/55dc011f6f013b7d299de43399b7dcf5069e55f0..5a33add62c03f67c122ed7a139ad8f9615fbab74:/Config.in?ds=inline

diff --git a/Config.in b/Config.in
index 331219a33..901d74006 100644
--- a/Config.in
+++ b/Config.in
@@ -229,12 +229,21 @@ menu "Global build settings"
 
 	config KERNEL_MAGIC_SYSRQ
 		bool "Compile the kernel with SysRq support"
-		default n
+		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