Am Freitag, den 05.08.2011, 06:51 -1000 schrieb david:
Again, that is not true, you can install a rt-kernel to aptosid simply
with apt-get, but AFAIK it isn't a aptosid kernel (a big diff in the
applied patchs). It is a debian kernel with the debian patch set
The same was true before the rt kernel slips into debian, before that
you could simply install a pengutronix kernel for example.
The AV-linux rt kernel indeed is special designed for AV-linux.
Linux-audio-user mailing list