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? Thanks, tglx