Entre los sistemas operativos con micronúcleo podemos citar: