@mazzo さんの記事でPOSIXが出て来なかったの、POSIXはSVR4で準拠して、主に企業Unix系(AIX, HP-UX)で重用されていたから。
NeXTSTEPの元、Mach 3.0は4.3BSD互換設計でPOSIXが入る隙間がなかったw 事の様な気がする(ちょっと調べた範囲で)
Microkernel系の話題だと、開発始まってから32年、まだ開発が延々と続いているUnix系OS界のサクラダファミリアことGNU Hurdも忘れないであげて欲しい...(私が大学院の時から開発続いていて、いまだVer 0.9)