Comment by ryao

Neither of them use microkernels. They are monolithic kernels with loadable module support ("hybrid" kernels). The cores of both Windows NT and XNU were originally microkernels, but then they put all of the servers into the kernel address space to make them into the monolithic kernels that they are today.