5 Aug
2011
5 Aug
'11
8:18 p.m.
Am Freitag, den 05.08.2011, 06:51 -1000 schrieb david:
Aptosid has all of that, too, including the 3.0 RT
kernel.
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
applied.
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.