Un kernel implementa un set minimo di astrazioni. In genere, servizi di livello superiore OS come i sistemi di file e i driver di periferica vengono implementati in strati sopra un microkernel, possibilmente in server in modalità utente attendibile. Mac OS X è un ibrido tra architetture di kernel monolitici e microkernel. Vedi anche kernel monolitico.