if you look through their drivers, they use a sort of c++ without exceptions, but last i remember from debugging network drivers on osx, they looked like they were forked from freebsd a fairly long time ago, but were for a long time close enough to be able to see the roots(i don't know if it's still like that)