El corazón de XNU, Mach, fue originalmente concebido como un micronúcleo.