MacOSXは一応Machの末裔だから、マイクロカーネルじゃないんですかね
まあ商用マイクロカーネルOSで最も普及してるのは確かにNTだなここ20年くらい