I was trying to register a gpio interrupt on Linux (Angström) on my DE10 devkit as depicted in this tutorial CVSOC_GSRD
I think my device tree is good since all FPGA GPIOs are available in /sys/class/gpio/*. (Although the FPGA fifo I have in my design does not).
However, the modprobe gpio_interrupt command returns :
modprobe: FATAL: Module gpio_interrupt not found
If you have any suggestion to solve this issue, please let me know.
Support for Angstrom has been discontinued. Instead Yocto recipes are used to build the Linux rootfs. Refer to the GSRD (Golden System Reference Design) pages from https://www.rocketboards.org/foswiki/Main/GettingStarted for more details