I have a dual core system. On Core 0 I use Linux and on Core 1 I use a Bare Metal System. I send a software generated interrupt from my Bare Metal System to Linux but I cannot catch the interrupt in Linux. How can I register a SGI interrupt in Linux? Request_irq() returns an error for SGI’s..