GNU Hurd es fiel a un diseño de micronúcleo.