You may want to have a look at http://www.mklinux.org/
They don't have x86 stuff.
Yes, I know :-(
I compiled MkLinux and OSF/Mk from the CVS sources on Intel a while ago. Don't know if it is still possible...
Not with modern gcc and not sure if working x86 binaries could be produced from unaltered sources.
Last time I compiled and ran both osfmk and mklinux on x86 was approx. 20 months ago (under FreeBSD).
Sources didn't compile out of the box. I had to fiddle with the compile tools pretty heavily back then.
Yes, it will be difficult to back out their recent changes...
So if someone still has linux server, please either email me compressed binary or let me know what to do, to obtain it.
Sorry, I don't have the binaries anymore.
Good luck!
-Farid.