Re: [PATCH 0/5] Partitioning per-cpu interrupts

[Thomas Gleixner]

On Thu, 28 Apr 2016, Marc Zyngier wrote:
> Any comment on this? The Rockchip dudes have confirmed that this solves
> their problems (big-little system with PMUs using the same PPI).

It's in my backlog ....