Hurd is still using Mach? I don't see the point if it's just going to cheat around the IPC problem like OS X did.

And in the past decade, there have been more promising microkernels, like L4. Unless I missed something and there's still a good reason for Hurd to still be using Mach.