I'm using the linux kernel from Xilinx: https://github.com/Xilinx/linux-xlnx.git
Apparently, the driver used for the interrupt controller is
drivers/irqchip/irq-gic.c on the Xilinx platform instead.
The driver is not reading interrupt from the peripheral even though I read interrupt correctly in chipscope (interrupt 90 and 91).
Anyone getting the same behavior? Any idea?
zynq> cat /proc/interrupts
CPU0 CPU1
16: 0 0 GIC 27 gt
17: 0 0 GIC 43 ttc_clockevent
18: 1579 1136 GIC 29 twd
21: 43 0 GIC 39 f8007100.adc
90: 0 0 zynq-gpio 67 stream
91: 0 0 zynq-gpio 68 stream
141: 0 0 GIC 35 f800c000.ocmc
142: 216 0 GIC 82 xuartps
143: 10 0 GIC 51 e000d000.spi
144: 649 0 GIC 54 eth0
145: 35 0 GIC 56 mmc0
146: 0 0 GIC 45 f8003000.dmac
147: 0 0 GIC 46 f8003000.dmac
148: 0 0 GIC 47 f8003000.dmac
149: 0 0 GIC 48 f8003000.dmac
150: 0 0 GIC 49 f8003000.dmac
151: 0 0 GIC 72 f8003000.dmac
152: 0 0 GIC 73 f8003000.dmac
153: 0 0 GIC 74 f8003000.dmac
154: 0 0 GIC 75 f8003000.dmac
155: 0 0 GIC 40 f8007000.devcfg
162: 0 0 GIC 41 f8005000.watchdog
IPI1: 0 0 Timer broadcast interrupts
IPI2: 707 461 Rescheduling interrupts
IPI3: 0 0 Function call interrupts
IPI4: 25 25 Single function call interrupts
IPI5: 0 0 CPU stop interrupts
IPI6: 0 0 IRQ work interrupts
IPI7: 0 0 completion interrupts
Err: 0
