1 Capabilities

XenSwdgn~arm64_capabilities~1

Description: Xen shall return xen-3.0-aarch64 to denote that the cpu is running in arm64 mode.

Rationale:

Comments:

Covers:

• XenProd~version_hyp_capabilities_cmd~1

2 Capabilities AArch32

XenSwdgn~arm64_capabilities_aarch32~1

Description: Xen shall return xen-3.0-armv7l to denote that the cpu is running in arm32 mode.

Rationale:

Comments:

Covers:

• XenProd~version_hyp_capabilities_cmd~1