[PATCH v4 0/2] Add Rockchip RK3588 GIC ITS support

[Marc Zyngier]

On Tue, 18 Apr 2023 15:21:07 +0100,
Sebastian Reichel <sebastian.reichel at collabora.com> wrote:
> 
> Hi,
> 
> This adds GIC ITS support to Rockchip RK3588, which is affected
> by an integration issue effectively breaking shareability support.
> PCIe2 support will follow in its own series.

I've applied the first patch to irqchip-next. Please route the second
one via the SoC tree.

Thanks,

	M.

-- 
Without deviation from the norm, progress is not possible.