GNU Mach es el micronúcleo oficial del Proyecto GNU.