Os termos monolithic kernel
e microkernel
não podem ser seriamente comparados, pois descrevem diferentes aspectos do design do kernel (estrutura versus tamanho).
Um kernel monolítico típico era o kernel SunOS-4.x e o Linux ainda é semelhante, pois você configura manualmente o conteúdo do kernel básico.
O kernel Solaris (começando com 2.1 em 1992) não pode mais ser chamado de monolítico, pois todos os drivers são carregados automaticamente sob demanda e apenas uma pequena parte é carregada durante a inicialização inicial.
SunOS-4.xe Solaris (SunOS-5.x) e Linux são implementações de contexto único. Seu código inteiro é executado em um único contexto MMU.
O Mac OS X é baseado em Mach e é executado como uma implementação de múltiplos contextos com vários processos separados por contextos MMU. Nesse conceito, os drivers estão em processos separados e em contextos MMU separados.
Muitas pessoas chamam o Mac OS X de "sistema de microkernel", mas pode ser que o kernel básico não seja menor que o kernel básico do Solaris.
Assim, parece que seria melhor para falar sobre single context kernels
vs. multi context kernels
.