Comment by atombender

Minor correction: XNU is not a microkernel.