On Tue, 14 Jul 2015 16:24:54 +0200 "Mathias Koehrer" <mathias.koehrer@xxxxxxxx> wrote: > > How reproducible is this? > Unfortunately this is not really reproducable. > I caught this bug after approx. 400 reboots while hunting another bug... Can you send me your config. Thanks! -- Steve -- 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
