Re: [REQUIREMENTS][PATCH v2 0/6] reqs: add Arm GIC requirements

Hi all,

Sending to xen-devel mistake, please ignore.

Best regards,
Mykola

On Fri, Jul 17, 2026 at 10:12 AM Mykola Kvach <[email protected]> wrote:
>
> This series updates the existing interrupt-management and guest GICv3
> requirement groups and adds missing requirement documents for host GICv3,
> host ITS/LPI, guest vITS, host GICv4 direct delivery and vGIC direct
> delivery.
>
> The interrupt-management change keeps Device Tree primary interrupt-controller
> discovery in the common interrupt-management layer.
>
> The guest GICv3 changes keep the document focused on the guest-visible vGICv3,
> move register-list scope into SSR descriptions, and document Xen's limited
> virtual GICv3 pending-state and active-state MMIO observation model.
>
> The new host GICv3 requirements cover Device Tree based physical GICv3
> initialization and interrupt handling. The new host ITS/LPI requirements cover
> physical ITS discovery, command handling and LPI state. The new vITS
> requirements cover the guest-visible virtual ITS command model.
>
> The GICv4 requirements treat direct delivery as a backend-specific mechanism
> used by Xen's virtual interrupt delivery model. Host GICv4 requirements cover
> vPE, doorbell and direct-vLPI backend state. vGIC direct-delivery requirements
> cover guest-visible direct SGI capability, request control and direct-vSGI
> state handling.
>
> Mykola Kvach (6):
>   reqs: clarify guest GICv3 virtual register model
>   reqs: add host GICv3 requirements
>   reqs: drop duplicate GIC version AoU
>   reqs: add host ITS/LPI requirements
>   reqs: add guest vITS requirements
>   reqs: add GICv4 direct-delivery requirements
>
>  .../arm64/gicv3.rst                           |  46 +-
>  .../arm64/index.rst                           |   2 +
>  .../arm64/its.rst                             | 382 ++++++++++++
>  .../arm64/vgic_direct_delivery.rst            | 166 ++++++
>  .../physical_resources/arm64/gicv3.rst        | 564 ++++++++++++++++++
>  .../physical_resources/arm64/gicv4.rst        | 515 ++++++++++++++++
>  .../physical_resources/arm64/index.rst        |   3 +
>  .../physical_resources/arm64/its.rst          | 519 ++++++++++++++++
>  8 files changed, 2175 insertions(+), 22 deletions(-)
>  create mode 100644 software_safety_reqs/domain_creation_and_runtime/domain_partially_emulated_resources/arm64/its.rst
>  create mode 100644 software_safety_reqs/domain_creation_and_runtime/domain_partially_emulated_resources/arm64/vgic_direct_delivery.rst
>  create mode 100644 software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/gicv3.rst
>  create mode 100644 software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/gicv4.rst
>  create mode 100644 software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/its.rst
>
> --
> 2.43.0
>
>