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

Reply via email to