>>706
その「ハイブリッドカーネル」的な開発したのがMacOS X/Darwinだけど
Mach3.0のメッセージパッシングな部分を通常の関数呼び出しに書き換えた
最初の開発時期が丁度リートケがL4に取り組んでいる時期なんだわな
当時のL4は完全に研究レベルの実験的な物だったから妥当な開発方針
と言える
現在のL4系列の進化したマイクロカーネルはMacOSとは逆方向に発展
したと言える
OKL4等のマイクロカーネルは今は組み込み用ハイパーバイザーとして
実用になっていて実はiPhone等で使われているクアルコムのチップの内部で
使われているらしい
seL4はセキュリティ方面の研究で使われている。実装の完全性の検証とか
ケイパビリティセキュリティとか