Xen Summit 2026

This talk presents a safety-critical architecture built entirely on the open-source Xen hypervisor, Linux and Unikraft unikernel(s) as self-contained per-partition runtimes. We cover how this environment is a basis for implementing the ARINC 653 avionics standard, static configuration, and how a control domain pattern provides system management without Dom0 privileges. We discuss real challenges encountered — debug/trace without xl, scheduler extensions for fault tolerance scenarios, and device tree validation at boot — and identify areas where Xen community collaboration would accelerate safety-relevant capabilities.