Un sistema operativo basado en un micronúcleo L4, tiene que proporcionar sus servicios a manera de "servidores" en espacio usuario que los núcleos monolíticos como Linux o micronúcleos de generaciones más antiguas incluyen internamente.