Darwin y GNU Hurd tienen núcleos que son una versión de Mach.