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

Explore an 18-minute conference talk on ZVM (Zephyr-based Virtual Machine), an open-source embedded real-time virtual machine developed for connected devices with mixed-criticality deployment. Delve into the implementation of CPU, memory, interrupt, I/O, and timer virtualization modules based on ARM64 and Zephyr RTOS. Learn about the system architecture, hardware-assisted virtualization techniques, and ARMv8 Virtualization Host Extension support. Discover how ZVM enables secure isolation and management, supports running Linux OS and Zephyr RTOS, and implements real-time scheduling using a variable priority strategy. Gain insights into the virtual processor design, memory management, device virtualization, and interrupt handling within this innovative solution for embedded systems.

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