ハイパーバイザーを内蔵しやすいように、内蔵のデュアルSDモジュールが用意されている。これを使えば、すぐにでも、ハイパーバイザーを使って仮想化できる。デュアル化しているため、ハイパーバイザーに障害が起きても、もう一方のSDカードに切り替えられる
