HelenOS
HelenOSは、マルチサーバーなマイクロカーネル設計に基づくオペレーティングシステムである。 HelenOSのソースコードはCで書かれ、BSDライセンスで公開されている。