追跡中．

コードリーディング中．

μITRON仕様OSでも

μITRON仕様OSでも，ハイエンドの規模では，パラバーチャルなハイパーバイザがあったほうがよいかも．
メモリモデルっていうかMMUの違いっていうかは，ターゲット依存部で吸収するのも結構辛かったりするし，モジュラリティが下がると信頼性の確保もキツくなってくるので．割込みとメモリ管理だけ抽象化してくれる層があればかなり嬉しい，はず．

Xenがその用途に適しているかというと，そうでもないっぽいけれども．
ハイパーバイザ自身は，RTOSを作れる普通のエンジニアなら，難なく作れそうだし．

TOPPERS/HRPにおけるSafetyKernelも，着想としては近いものがあるけれども，いろいろあって，静的構成のブートローダどまりになっちゃったもんなぁ…．