Xen Documentation
- hypervisor-guide
hypervisor-guide
ARM System Control and Management Interface (SCMI)
Code Coverage
How Xen Boots