マイクロカーネルでも、BeOSは実際パフォーマンスよかったし、
AmigaOSや L4なども性能がいいと聞く。

Minixが外側だんだん NetBSDになってるらしいけど、UVMやネットワークコードが
ユーザーモードのサーバーに分離されたらおもしろいかもね。
ファイルシステムは比較的分離しやすいかな?