Tutorial: Virtualization

on YouTube ↗01h 24m

" summary

Covers the RISC‑V hypervisor extension (ratified, adds HS/VS CSRs and VMLOAD/VMSTORE), demos show KVM on QEMU (chemo), Xvisor bare‑metal, and Bao running FreeRTOS + Linux; a CVA6 core on FPGA boots Linux and even runs Tetris. Highlights SV39x4 second‑stage translation and optional transformer instructions that cut trap‑and‑emulate work. AEI (v1.0‑rc1) adds an aplic + per‑hart DMC/MC for MSI delivery so guests get interrupts without hypervisor emulation; IOMMU spec v0.9 has pass‑through POCs in QEMU/Linux but not yet upstream.

AI-written summary · about

" chapters (9)

1. 0:00Introduction to tutorial
2. 2:22Hypervisor types and techniques
3. 11:01RISC-V hypervisor extension
4. 20:35Ecosystem and implementations
5. 28:16Virtualization demonstrations
6. 43:56Advanced interrupt architecture
7. 55:17Interrupt architecture demos
8. 1:05:13IOMMU and device pass-through
9. 1:17:59Nested virtualization