diff options
author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2019-12-01 12:27:44 +0200 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2019-12-31 17:38:22 +0000 |
commit | e3d9d67e9977ac5387eae057bc709b29ec6fe03f (patch) | |
tree | 82a1b20441d328dc4bf332b5879481e995f0a7bd /src/mainboard/google/stout/Makefile.inc | |
parent | 94694a810e752760ba18d1cf545c63ff3287092b (diff) |
device: Log times with millisecond resolution
To print times with 1 us resolution just adds unnecessary noise
when comparing logs across different boots. Furthermore, just
the printk itself is 1 ms if some slow console is enabled.
Change-Id: Ibea43124a1937f404a6e71fd9431086b2b72290a
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37425
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'src/mainboard/google/stout/Makefile.inc')
0 files changed, 0 insertions, 0 deletions