On (12/17/18 19:17), Ingo Molnar wrote:> This makes me sad - whatever happened to the principle of keeping printk> simple?printk() is still simple. Console drivers are not, tho. -ss