XenMkt~run_arm64_vms~1
Description: Xen shall run Arm64 VMs.
Rationale:
Comments:
XenMkt~provide_timer_vms~1
Description: Xen shall provide a timer to a VM.