@techreport{oai:ipsj.ixsq.nii.ac.jp:02002119,
 author = {鬼頭,太郎 and 山本,遼介 and 堀井,圭祐 and 追立,真吾 and 毛利,公一},
 issue = {8},
 month = {May},
 note = {RISC-Vにおいて，RTOSをゲストOSとして実行可能なハイパーバイザVioletが提案されている．VioletはQEMU上でのみ動作し，実機での動作検証や性能評価ができないという課題がある．本稿では，VioletをRISC-V開発ボードSiFive HiFive Premier P550に移植し，実機での動作を可能にした．実機移植にあたり，QEMU Virt MachineとSiFive HiFive Premier P550に搭載されているデバイスの違いや，CPUの仕様の違いに応じてVioletの修正を行なった．結果，FreeRTOSおよびLinuxのVM上での実行が可能となり，さらに，両者を同時に実行できることを確認した．本稿では，Violetの実機移植の手法と，動作検証の詳細について述べる．},
 title = {RISC-VにおけるRTOSを実行可能なハイパーバイザVioletの実機移植},
 year = {2025}
}