OS X is not really very adherent to the spirit of microkernels, earlier and more recent Windows releases have it well beaten in that respect.