Un ambiente residente del kernel, orientato a Darwin che fornisce un modello di hardware del sistema. Ogni tipo di servizio o dispositivo è rappresentato da una o più classi C++ in una famiglia; ogni servizio disponibile o il dispositivo è rappresentato da un'istanza (oggetto) di tale classe.