1 Run Arm64 domains

XenMkt~run_arm64_domains~1

Description: Xen shall run Arm64 domains.

Rationale:

Comments:

Needs:

• XenProd

2 Provide timer to the domains

XenMkt~provide_timer_domains~1

Description: Xen shall provide a timer to a domain.

Rationale:

Comments:

Needs:

• XenProd

3 Provide console to the domains

XenMkt~provide_console_domains~1

Description: Xen shall provide a console to a domain.

Rationale:

Comments:

Needs:

• XenProd