On Tue, 2013-01-22 at 18:15 +0100, John Kacur wrote: > The following is my fix applied to the rt-kernel, but it's fine with > me if you want to do the cherry-pick against the stable kernel, > and then respin fix-rt-int3-x86_32-3.2-rt.patch Does this fail on vanilla 3.2.37 as well? If so, we need to push it to mainline stable, and then wait for it to be included for -rt. -- 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