Comment by riskyfive

doesn't macOS put a BSD translation of some sort in their kernel? Theres a microkernel, a driver api (device kit) and then 'bsd'