Tool/software: Linux
Hello,
We have a requirement to use NMIN line as interrupt from a peripheral to A15-MPCore. we understood that NMI can be routed to A15-MPCore by configuring the register CTRL_CORE_NMI_DESTINATION_2.
After this we can handle interrupt as MPU_IRQ_133.
Kindly let us know how this IRQ can be configured using request_irq() Linux api and any other step is needed to achieve the same.