On Mon, 26 Jul 2021 13:45:20 +0100, Anup Patel <anup@xxxxxxxxxxxxxx> wrote: > > Hi Marc, > > I have taken the approach of IPI domains (like you suggested) in this series. > > What do you think ? I have commented on the irqchip driver. As for the RISC-V specific code, I'll let the architecture maintainers look into it. I guess the elephant in the room is that this spec seems to be evolving, and that there is no HW implementation (how this driver maps on SF's CLINT is anybody's guess). M. -- Without deviation from the norm, progress is not possible.