I am writting a kernel platform driver which communicate with a MCU via SPI. The mcu triggers an gpio on the RPI which calls a IRQ function inside the kernel. Then I write with
