linux and Mach and...
(I'm interested in the path from linux to the Hurd.)
Linux Single-Server project
Yet again, more linux/mach