El sistema está basado en un micronúcleo, con la máquina virtual funcionando sobre el mismo.