Hi, martin f krafft, le Sat 05 May 2007 15:20:25 +0200, a écrit : > I know of no kernels that generate these timestamps. How can I > reproduce this? It's the CONFIG_PRINTK_TIME option in the "kernel hacking" section of kernel configuration. samuel