* Thomas Gleixner | 2014-02-19 10:50:29 [+0100]:

On Fri, 14 Feb 2014, Fernando Lopez-Lezcano wrote:

quoted

I could try to boot one of the machines into 3.12.xrtyy, replicate the
conditions and wait. What should I look for if I can catch this in the act?

dmesg and sysrq-t output would be a good start I guess.

Yeah. Is it possible to use a serial console? It might happen that the
kernel throws something out before it dies but it does not manage to
write it to disk anymore.

Thanks,

tglx

Sebastian