V8R Introduction
Jun 182026Dear Visitor,
Hereby I'm excited to introduce V8R. It is the Rust-based evolution of the SeVirt V8 hypervisor concept: a minimal static type-1 hypervisor for ARMv8 and ARMv9 platforms, designed for automotive and embedded virtualization use cases.
The project focuses on predictable system composition, small runtime scope, and clear separation between platform description, bind-time configuration, generated boot assets, and hypervisor execution. V8R is a new implementation that keeps the minimal static design philosophy while improving safety, traceability, and support for modern ARM virtualization hardware.
Key directions:
- Rust-based implementation with explicit ownership and reduced memory-safety risk.
- Static configuration and bind-time generation of platform, VM, memory, and device layout.
- Machine-readable unit design DSL for consistency checks between architecture, code, tests, and requirements.
- Architecture prepared for modern interrupt controllers, including GICv3, GICv4, GICv5 capabilities.
V8R is currently under active development. The foundation already covers full set of requirements, architecture decomposition, DSL for unit design formal verification.
Sincerely yours,
Alex