HelenOS

スクラッチから書かれた、ポータブルなマイクロカーネルベースのマルチサーバーオペレーティングシステム。