Xen: Our hypervisor now runs on Raspberry Pi 4 – but Pi's quirks made life tricky

In porting the Xen hypervisor to Raspberry Pi 4 for IoT and industrial projects, developers met unexpected problems.