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

4 Static VM definition

XenMkt~static_vm_definition~1

Description: Xen shall support assigning peripherals to a domain.

Rationale:

Comments: Peripheral implies an iomem (input output memory) and/or interrupts.

Needs:

• XenProd

5 Multiple schedulers

XenMkt~multiple_schedulers~1

Description: Xen shall have configurable scheduling strategies of virtual cpus onto physical cpus.

Rationale:

Comments:

Needs:

• XenProd