Hi all,
Sending to xen-devel mistake, please ignore.
Best regards,
Mykola
On Fri, Jul 17, 2026 at 10:12 AM Mykola Kvach <mykola_kvach@epam.com> 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
>
>