# 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