On Mon, 26 Jul 2021 13:45:20 +0100,
Anup Patel [off-list ref] 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.