On Mon, 2010-05-31 at 20:03 +0200, Mike Galbraith wrote:> Looks good, but I'll retest anyway.I wedged skinnier version into x86-tip-rt33, works fine too.(todo: non-rt config testing) -Mike