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 ....