Linux printk
cat /sys/module/printk/parameters/time
echo yes > /sys/module/printk/parameters/time
echo no > /sys/module/printk/parameters/time