Samuel Orr Thu, 20 Feb 2014 22:25:22 -0800
PREEMPT RT Debian 3.12.9-1+rt1 from people.debian.org works fine for me. Thank you, it was real nice to go out of your way to provide a fix, and help us test that it works!
