Hi Chris,
How did you registered the irq handler on Linux side? You have an example?
Is it correct to use SMP handle_IPI in AMP scheme?
I have the same requirements as the ones described in this topic.
request_irq does not work for me I get -22 error and I have the SGI defined in intc node in device tree.
I need to catch it in some device driver.
Best regards,
Mihaita