* Thomas Gleixner | 2014-02-19 10:50:29 [+0100]: >On Fri, 14 Feb 2014, Fernando Lopez-Lezcano wrote: >> 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 -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html