Xen Documentation - firmware

• firmware
• ARM System Control and Management Interface (SCMI)