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 .... -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html