>
> Has anyone got a working x86_64 RT system? I can't boot rt kernels
> here, hangs after loading the schedulers.
Gentoo Kernel, patched with Ingo's patch, compiled for AMD Opteron(64
Bit) here if that is what you are looking for. Kernel is where my
knowledge is lacking though.
Seablade