Domain Creation And Runtime

XenProd~emulated_timer~1

Description: Xen shall grant access to "Arm Generic Timer" for the domains.

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_vms~1
• XenMkt~provide_timer_vms~1

Needs:

• XenSwdgn