GNU Mach

GNU Mach is the default microkernel in the Hurd. In November 2002, Richard M. Stallman announced the FSF's plan to switch to OSKit Mach, in order to solve major problems blocking the release of the GNU operating system.