第5章:RISC-V ハイパーバイザー拡張, Version 0.6.1 — riscv-hv-japanese ドキュメント