>GNU Mach, which is what the Hurd runs on. Is slower that Linux. There was an attempt to port the Hurd to L4 before. It is deemed not possible by the current hurd developers.
This was done with an older L4 (Pistachio, I think) that lacked capabilities in the kernel. Doing it with SEL4 has not been thoroughly investigated.
