Zephyr‑Based VIRTIO Backend on Xen: Toward Open Source Functional Safety
Talkat Open Source Summit Japan + AI_dev: Open Source GenAI & ML Summit + Automotive Linux Summit 2025 · 2025-12-08..12-10·
summary
Zephyr‑based VIRTIO backend shrinks the trusted computing base to under 1 MB, boots a driver domain in tens of milliseconds, and runs on a few kilobytes of RAM. The build replaces full Linux driver domains with tiny, purpose‑built domains per device class, yielding micro‑kernel‑style fault isolation and much simpler certification. Current PRs cover basic VIRTIO, GPU staging and interrupt handling; remaining roadblocks include SOC register paging, pin/clock separation, DT injection, and VMexit performance.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 1:04Zephyr RTOS and VIRTIO overview
- 5:43SDVOS and functional safety background
- 10:00Automotive consolidation trends
- 12:13AGL and Zephyr architecture
- 16:57VIRTIO backend implementation
- 21:04Mixed-criticality challenges
- 26:02Device tree and hardware issues
- 27:49Interrupt handling and performance
- 30:18Future directions and challenges
- 31:54Q&A
related talks
22mVirtualization with Zephyr & Xen for Embedded Safety Systems
18mZVM: Zephyr-based Virtual Machine
37mHypervisor-less virtio for Real-time and Safety
41mTurning the Ignition on Safety: Zephyr RTOS in Automotive Compliance
31mUsing Zephyr for Embedded Controllers
45mTrust, confidentiality, and hardening: the virtio lessons
21mOak stage0: a minimal firmware for (confidential) virtual machines
41mSecuring Your Xen-Based Cloud