macos uses a (far flung mach derived) osf kernel, which is a hybrid and not a microkernel.
Additionally macos utilize other bsd kernel functionality.
At 1 Mar 2018 23:29:36 +0000 (+00:00) from "Nelson H. F. Beebe"
<beebe(a)math.utah.edu>:
A new paper comparing Unix kernel designs was
published earlier today:
>> ... FreeBSD implements a
>> traditional compact monolithic Unix kernel, whereas Mac OS builds the
>> BSD Unix functionality on top of the Mach microkernel. The authors
>> provide an in-depth technical investigation of both approaches.