Merge pull request #1404 from ijc25/enable-printk-time

Enable CONFIG_PRINTK_TIME
This commit is contained in:
Justin Cormack
2017-03-29 17:05:44 +02:00
committed by GitHub

View File

@@ -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