1 Run Arm64 VMs

XenMkt~run_arm64_vms~1

Description: Xen shall run Arm64 VMs.

Rationale:

Comments:

Needs:

• XenProd

2 Provide timer to the VMs

XenMkt~provide_timer_vms~1

Description: Xen shall provide a timer to a VM.

Rationale:

Comments:

Needs:

• XenProd