Mach時代のマイクロカーネル、いわゆる第一世代の
マイクロカーネルは、既に歴史的なものだろう？

それを採用したOSFも結局パフォーマンスを考えると
純粋なマイクロにはできなかったしNTもマイクロを
止めてしまった。

歴史的には、第一世代のマイクロカーネルは
商業的に失敗に終って、過去のものとなっている。