* Borislav Petkov <b...@alien8.de> wrote: > 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 > > :-)
LOL, indeed ;-) Thanks, Ingo