title: Enable and Distribute IRQs in Linux
body: <p>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.</p>
  
  <p>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?</p>
  
  <p>How to enable and distribute interrupts in Linux source code?</p>
  
  <p>Your suggestions are welcome!</p>
  
  <p>Thanks in advance.</p>