セキュアハイパーバイザー

安全性およびセキュリティに敏感な組込みシステム向けに、決定論的なパーティショニング、ワークロードの分離、および混合クリティカリティの実行を可能にする、セキュアなType-1仮想化。