[PATCH v6 00/15] enable HiP04 SoC

[Marc Zyngier]

Hi Jason,

> I've just started assisting Thomas with review / wrangling patches 
> for
> drivers/irqchip. If you could Cc me on the next revision, I'd 
> appreciate
> it.

That's excellent news! If you didn't have enough on your plate already, 
feel free to have a look at the GICv3 patches I reposted yesterday! :-)

Thanks,

         M.
-- 
Fast, cheap, reliable. Pick two.