kernel: add a configuration option for enabling printk timestamps (#10503)

SVN-Revision: 29353

diff --git a/Config.in b/Config.in
index f46781866e1267045329a7b5ff7b21b1e28772cd..736a97282fc198a9bed0d80ed8e0b7e2f4dd7866 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -240,6 +240,10 @@ menu "Global build settings"
                select KERNEL_DEBUG_KERNEL
                default n
 
+       config KERNEL_PRINTK_TIME
+               bool "Enable printk timestamps"
+               default y
+
        comment "Package build options"
 
        config DEBUG