On Thu, Nov 17, 2011 at 11:25:56AM +0100, Thomas Gleixner wrote: > Johannes came up with a different solution. Could you please give it a try? Again, I've run a quick test and it looks like this solves the issue. Cheers, -- Luis Henriques -- 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