Um ambiente residente de kernel, orientada a objeto em Darwin que fornece um modelo de hardware do sistema. Cada tipo de serviço ou dispositivo é representado por uma ou mais classes de C++ em uma família, cada dispositivo ou serviço disponível é representado por uma instância (objeto) da classe.