On Fri, Aug 14, 2020 at 02:56:54PM +0100, Thomas Preston wrote:
Actually I think I'm wrong about the interrupt-controller changes in patches
0002 and 0003.
You are. Looking at the datasheet, the GPIOs have interrupt capability.
GPIO controllers are typically both an interrupt client and provider.