On Tue, 9 Jan 2018, Vince Weaver wrote: > Also I managed to hit (presumably) the same bug on a skylake machine. > That one doesn't have a serial cable hooked up to it, I'll try to see if I > can find one. > > I am running debian-unstable with gcc 7.2 if it makes a difference.
I built the kernel with gcc 6.4 in case it would make a difference; it didn't. Also tried turning off the NMI watchdog in case that was interfering, didn't help. Vince
