From a83ecd1d459dfc8516b06f456e4cc83819f5061d Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Tue, 28 Mar 2017 14:51:29 +0100 Subject: [PATCH] Enable CONFIG_PRINTK_TIME This adds a timestamp to the start of the kernel command line. Like this (from a random system I have lying around, line truncated by me): [ 0.000000] tsc: Detected 2665.038 MHz processor [ 0.000021] Calibrating delay loop (skipped), value calculated using tim... [ 0.000023] pid_max: default: 32768 minimum: 301 [ 0.000041] ACPI: Core revision 20160831 [ 0.003782] ACPI: 2 ACPI AML tables successfully acquired and loaded This would be handy in relation to #1403. Signed-off-by: Ian Campbell --- kernel/kernel_config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/kernel_config b/kernel/kernel_config index b7c71f0cc..59a5a7046 100644 --- a/kernel/kernel_config +++ b/kernel/kernel_config @@ -3092,7 +3092,7 @@ CONFIG_TRACE_IRQFLAGS_SUPPORT=y # # printk and dmesg options # -# CONFIG_PRINTK_TIME is not set +CONFIG_PRINTK_TIME=y CONFIG_MESSAGE_LOGLEVEL_DEFAULT=4 # CONFIG_BOOT_PRINTK_DELAY is not set # CONFIG_DYNAMIC_DEBUG is not set