I’am trying to develop a simple driver for DE1_SoC board.
I’m running the SDCard image availbale on terasic website (lubuntu with kernel 4.5).
The IRQLine that could be registred with this kernel version does not match the number stated in the Cyclone V SoC user manual.
ex: in user manual: HPS_GPIO1_IRQ ==> line 199
however “request_irq (197)” fails while “request_irq (99)” succeeds
Any help will be appreciated.