プログラム pcanel.sf.net

このプロジェクトは、Pcanel と呼ばれる組み込み OS をベースにしたマルチカーネルコンポーネントを実装します。それは5つの異種カーネルから成り、拡張性、有効性、安全性、リアルタイム性および一般性を保証することができる。