Sebuah kernel-penduduk, lingkungan berorientasi objek di Darwin yang menyediakan model perangkat keras sistem. Setiap jenis layanan atau perangkat diwakili oleh satu atau lebih C + + kelas dalam sebuah keluarga, masing-masing layanan yang tersedia atau perangkat diwakili oleh turunan (obyek) dari kelas itu.