Skip to content

Fix IRQs on ZYNQ platform

The kernel driver is already aware of all available platform interrupts, but they are not provided by the device tree. The attached patch provides a fix for this issue and has been tested on a PYNQ board.

zynq_irq.patch