On 2017.09.06 at 14:52 +0200, Thomas Gleixner wrote: > On Tue, 5 Sep 2017, Markus Trippelsdorf wrote: > > On 2017.09.05 at 10:53 +0200, Peter Zijlstra wrote: > > > > Any ideas on how to debug this further? > > > > > > So you have a (real) serial line on that box? > > > > Sadly, no. But hopefully somebody else (with a proper kernel debugging > > setup) will reproduce the issue soon. > > Does the machine respond to ping or is it entirely dead?
It is entirely dead and doesn't respond to ping. -- Markus
