...
You should see this registered as below:
To generate an interrupt, we can write to the ISR in the AXI GPIO. Below is a snippet of the register space
from the AXI GPIO product guide
For example, we can use the devmem utility to write to this register from the linux console:
Then rerun, the cat /proc/interrupts and the interrupt count should be incremented for the gpio:
If users would like to debug a Linux application in SDK, then they can follow on from here with the wiki article here