ZoneX User Guide

ZoneX is a deterministic partitioning hypervisor for mixed-criticality embedded systems. It runs at EL2 on Armv8-R, gives each partition a statically declared slice of memory and of time, and treats a partition stepping outside either as a fault to be reported rather than a condition to be recovered from.

ZoneX is at Phase 0, version 0.1.0.202603, which is a demonstrator rather than a product. It is not production software. Read What Phase 0 demonstrates before building anything on it: that page states both what the current code establishes on real silicon and what it deliberately does not.

ZoneX guide

ZoneX targets Armv8-R AArch32, where both stages of address control are region-based memory protection units rather than translation tables. Design decisions, the verified EL2 register sheet, the errata sweep and the worst-case-execution-time inputs live in the repository’s own docs/ directory rather than on this site, because they are engineering records for someone changing the code rather than product documentation.