Hi ecullert
I have writen a hps gpio interrupt driver with kernel-3.8. I build the driver within the kernel and it works.
I get the kernel source from
http://www.rocketboards.org/foswiki/view/projects/sockitlinarolinuxdesktop In the dts I just add myself code
gpio1: gpio@0xff709000 {
compatible = "key";
reg = < 0xff709000 0x00001000 >;
interrupts = <0 165 4>;
};
The interrupt number in dts is 32 less than the number in GIC
The I write my own driver (initial the driver and register the interrupt in kernel)
This driver just uste the gpio interrupt but not fpga interrupt
I hope the information be helpful for you!