On Mon, 17 Dec 2012, Mike Galbraith wrote: > On Mon, 2012-12-17 at 16:35 +0100, Thomas Gleixner wrote: > > Bah. This reverse user/kernel priority nonsense really should go away! > > Snort, I looked right at it too, looked perfectly fine :) The real bad news is, that I talked to someone about that reverse prio issue just a few hours before I committed that crime. Blergh! -- 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
