Functional Requirements

Run Arm64 domains

XenMkt~run_arm64_domains~1

Description: Xen shall run Arm64 domains.

Rationale:

Comments:

Needs:

• XenProd

Provide timer to the domains

XenMkt~provide_timer_domains~1

Description: Xen shall provide a timer to a domain.

Rationale:

Comments:

Needs:

• XenProd

Provide console to the domains

XenMkt~provide_console_domains~1

Description: Xen shall provide a console to a domain.

Rationale:

Comments:

Needs:

• XenProd