4 ms·The kernel is entirely xnu/mach. The BSD parts are a POSIX layer on top of that.by TickleSteve 8y agoThe kernel is entirely xnu/mach. The BSD parts are a POSIX layer on top of that.