X-Git-Url: https://git.librecmc.org/?a=blobdiff_plain;f=Config.in;h=736a97282fc198a9bed0d80ed8e0b7e2f4dd7866;hb=4dfdbf50399e6af87eb9c4c1f1a0fa4eb3bb5f24;hp=331219a335626e648dd92e319c8d040ff8574329;hpb=18a4bbb98d339eb8aac1b1b0e5b6fa6d9339f9ad;p=oweals%2Fopenwrt.git

diff --git a/Config.in b/Config.in
index 331219a335..736a97282f 100644
--- a/Config.in
+++ b/Config.in
@@ -235,6 +235,15 @@ menu "Global build settings"
 		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