I am using imx6 sabrelite board in which Linux OS runs on core0 and RTOS on core1. I have configured GIC interrupt registers in RTOS but Linux OS overwrites it. I need to enable IRQs 88,142,143,150 and distribute it to core 1(RTOS) in linux source code. I have gone through the irq_gic.c file but couldn't get an idea to proceed further.
i have tried cat /proc/interrupts in serial console and i couldn't see the above IRQ numbers. is that indicates the above interrupts are disabled in Linux?
How to enable and distribute interrupts in Linux source code?
Your suggestions are welcome!
Thanks in advance.