Midori (オペレーティングシステム)
Singularityオペレーティングシステムの商用化される可能性のある実装の1つと言われている。Singularityは2003年に開始された研究プロジェクトで、高ディペンダブルOSであり、カーネルもデバイスドライバもアプリケーションも全てマネージコードで書かれている。