Sin embargo, desde el año 2002 los esfuerzos de la Fundación del Software Libre se encaminaron hacia la adopción del OSKit Mach como micronúcleo oficial.