On Thu, Oct 24, 2024 at 05:02:29PM +0100, Marc Zyngier wrote: > The only change I made was to enable the ITS for pcie5, which was > routed via the PCIe MSI widget instead. But that's a SoC dtsi issue > for which I'll post a patch separately. That's done on purpose since the boot firmware is not setting things up so that we can use the ITS with PCIe5 (or PCIe3) when running in EL1 currently. Johan
