ZVM: Zephyr-based Virtual Machine for Embedded Real-Time Systems

This course examines the architecture and implementation of ZVM, an ARM64 virtual machine based on Zephyr that can run Linux and Zephyr. It covers CPU, memory, interrupt, I/O, and timer virtualization, along with real-time scheduling.

Syllabus

Intro
Embedded Virtualization
Existing Virtualization Technologies
Modified Zephyr
System Architecture and Virtualization Module Design
Hardware-assisted Virtualization
ARMv8 Virtualization Host Extension Support
Virtual Processor Design
Virtual Timer Module
Virtual Memory Design
Virtual Device Type Fully Virtualized Devices
Virtual Device Modules
Virtual Interrupt Design virq Module Implementation
Implementation Details
Test ZVM
Hardware platform support
Real-time capabilities: Real-time scheduling: Using variable priority scheduling strategy to realize real-time scheduling of virtual machine