En kerne-bosiddende, objekt-orienteret miljø i Darwin, der giver en model af systemets hardware. Hver type tjeneste eller enhedsdriver er repræsenteret ved en eller flere C++ klasser i en familie; hver tilgængelig tjeneste eller enhedsdriver er repræsenteret af en forekomst (objekt) af denne klasse.