Hello everybody,
I'm working on writing a linux driver able to detect an interrupt coming from PL. This is what I've done:
1) added an AXI Timer in XPS and interconnected its interrupt output to GIC on PS.
2) modyfied DTS by adding:
axi_timer_0: axitimer@42800000 {
tttcompatible = "xlnx,axi-timer";
tttreg = <0x42800000 0x10000>;
tttinterrupts = <0x0 0x37 0x0>;
tttinterrupt-parent = <&gic>;
tt};
3) wrote a linux kernel module able to detect the component declared in the DTS. I'm pretty sure this works fine as I'm able to read the address and, most important in my opinion, the irq number. The module is correctly added to the running kernel of the zedboard by typing: insmod timer_module.ko
4) I wrote a simple software that programs the timer and enables it. Unfortunately it seems like the gic isn't able to detect the interrupt request coming from the timer itself.
Do I miss something?
thank you!
sticken