>>344
>セキュアなマイクロカーネルアーキテクチャ
ってことはLinuxベースではないということなんだろうか