hi, this only happens sometimes, and on boot: sorry, at the moment I don?t have a serial console, so:
> On 13 Jun 2017, at 11:14, Daniel Braniss <danny at cs.huji.ac.il> wrote: > > hi, > this only happens sometimes, and on boot: > sorry, at the moment I don?t have a serial console, so:hrumph, I guess it was cut out, so here is the url: <http://www.cs.huji.ac.il/~danny/Screen%20Shot%202017-06-13%20at%2011.09.21.png>http://www.cs.huji.ac.il/~danny/Screen%20Shot%202017-06-13%20at%2011.09.21.png <http://www.cs.huji.ac.il/~danny/Screen%20Shot%202017-06-13%20at%2011.09.21.png>