This page gives an overview of intc driver which is available as part of the Xilinx Vivado and Linux distribution.
The LogiCORE™ IP AXI Interrupt Controller (INTC) core receives multiple interrupt inputs from peripheral devices and merges them into an interrupt output to the system processor. The registers used for storing interrupt vector addresses, checking, enabling and acknowledging interrupts are accessed through the AXI4-Lite interface.
Support up to 32 interrupt inputs
Capable of cascading
Enabling and disabling of individual interrupts.
Capable of generating software interrupts
Features supported in driver
Single AXI INTC IP supports 32 interrupts, multiple AXI INTC IP's can be cascaded, to support more than 32 interrupt inputs
Supports chaining with GIC "PL peripheral→ AXI INTC→ GIC→ ARM processor"
Experimental support to load driver as module (IRQCHIP Xilinx Intc driver module support)
Enable that feature in the kernel configuration when using the AXI INTC in a PL overlay