On Fri, Aug 1, 2008 at 11:46 AM, Emanuel Rumpf <xbran@web.de> wrote:

2008/8/1 Emanuel Rumpf <xbran@web.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.