GPIO interrupt not working on Zynq7000
devel at thom.fr.eu.org
Wed Mar 4 10:00:37 CET 2020
trying to diagnose an interrupt problem on a Zynq 7000 hardware. The environment is linux 4.4.189, xenomai 3.0.9.
I'm trying to trig some realtime thread pending on a gpio read.
At the beginning, the system would freeze if the GPIO pin was toggled, because the GPIO int pending status was never cleared by the existing code.
So now I don't get the system freeze anymore, however, the RTDM gpio irq handler never gets called whenever the interrupt is raised.
I'm not sure how to diagnose that. For what I could see, the IRQ is registered in ipipe domain "xnsched_realtime_domain", and I'm not sure if that matches "ipipe_head_domain" that is used in the __ipipe_dispatch_irq
Any help appreciated
More information about the Xenomai