On Fri, Aug 1, 2008 at 11:46 AM, Emanuel Rumpf <xbran(a)web.de> wrote:
2008/8/1 Emanuel Rumpf <xbran(a)web.de>de>:
You could use the rt-kernel from the
sidux-community:
http://sidux.com/PNphpBB2-viewtopic-t-9454.html
english site:
http://sidux.com/PNphpBB2-viewtopic-t-9396.html
I didn't managed the sidux rt kernel to work on Debian.
My advise, build one yourself or use the one from 64studio... they are a bit
outdated but pretty ok.