On Tue, Nov 15, 2016 at 11:19:03AM +0100, Ingo Molnar wrote: > Well, bfd8d3f23b51 was part of -rc1 already, so you have it too.
Right.
> What might have made the difference is that I tested it on real hardware with
> serial logging, which delays printk() and might have created the race with
> the
> systemd kernel logger. (Which is impossible to turn off :-( )
Of course it is!
printk.devkmsg=off
:-)
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.
