A Macintoshok OSXének a kernele a Darwin egyébként mach mikrokernelen megy. Bár jelenleg alig használják ki az osx programok a mikrokerneles felépítésből adódó lehetőségeket, mindenképp egy gyakorlati példa mainstream mikrokerneles operációs rendszerre.