On Mon, 2011-12-05 at 10:11 +0100, Tim Sander wrote: > Hi > > Did some other time accounting increase instead ? > Yes, the other time seemed to be increasing normally. > > I should also point out, that this phenomen was not always happening, but only > sometimes and then again disapeared without any known reason. Hmm, then are you sure that the tasklet patch causes the bug? Or perhaps it only changes the timing to cause it. The bug may be without the patch too. -- 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
