Xen Documentation - arm

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