On Thu, 2011-09-22 at 12:00 +0200, Peter Zijlstra wrote: > OK, this one seems to be better.. But its quite vile, not sure I > actually like it anymore. Well, seemed to work, but I see there's a v3 now. -Mike -- 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
