1 Emulated Timer

XenProd~arm64_emulated_timer~1

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

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1
• XenMkt~provide_timer_domains~1

Needs:

• XenSwdgn

2 Emulated UART

XenProd~arm64_emulated_uart~1

Description: Xen shall provide an "Arm SBSA UART" compliant device to the domains.

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1
• XenMkt~provide_console_domains~1

Needs:

• XenSwdgn

3 Linux kernel image

XenProd~arm64_linux_kernel_image~1

Description: Xen shall create a domain with a binary containing header compliant with Arm64 Linux kernel image [1].

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1

Needs:

• XenSwdgn

4 Gzip Linux kernel image

XenProd~arm64_linux_kernel_gzip_image~1

Description: Xen shall create a domain with a Gzip compressed binary containing header compliant with Arm64 Linux kernel image [1].

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1

Needs:

• XenSwdgn

5 Kernel with uImage header

XenProd~arm64_kernel_uimage~1

Description: Xen shall create a domain with a binary containing uImage header [2].

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1

Needs:

• XenSwdgn

6 Gzip kernel with uImage header

XenProd~arm64_gzip_kernel_uimage~1

Description: Xen shall create a domain with a Gzip compressed binary containing uImage header [2].

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1

Needs:

• XenSwdgn

7 SPIs

XenProd~arm64_spis~1

Description: Xen shall assign hardware shared peripheral interrupts specified in the device tree to a domain.

Rationale:

Comments: Device tree is a data structure and language for describing hardware which is readable by an operating system [3]. A shared peripheral interrupt is a peripheral interrupt that the Arm Generic Interrupt Controller's Distributor interface can route to any combination of processors [4].

Covers:

• XenMkt~run_arm64_domains~1
• XenMkt~static_vm_definition~1

Needs:

• XenSwdgn

8 Virtual PL011

XenProd~arm64_virtual_pl011~1

Description: Xen shall provide an "Arm PL011 UART" compliant device to the domains.

Rationale:

Comments:

Covers:

• XenMkt~run_arm64_domains~1
• XenMkt~provide_console_domains~1

Needs:

• XenSwdgn