On Tue, 16 May 2023 11:09:36 +0100, Lee Jones <lee@xxxxxxxxxx> wrote: > > On Tue, 16 May 2023, Marc Zyngier wrote: > > > I'm happy to see an interrupt controller for the GPIOs. But the rest > > is just internal muck that doesn't really belong here. Where should it > > You should have been a poet! =;-) Who says I'm not? M. -- Without deviation from the norm, progress is not possible.