Since yesterday the Linux-Libre Real-Time PPA is up: https://launchpad.net/~linux-libre/+archive/rt-ppa
It contains currently the latest 3.6 libre-kernel with the latest rt patchset.
To add the PPA and to install the rt libre-kernel, type: sudo apt-add-repository ppa:linux-libre/rt-ppa; sudo apt-get update; \ sudo apt-get install linux-libre-rt Real-Time kernels have better latency than the usual kernels, it is recommend for example for Music production on GNU/Linux. Learn more: https://rt.wiki.kernel.org/index.php/Main_Page Any feedback is welcome.
