.. SPDX-License-Identifier: CC-BY-4.0

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`

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`

