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
