Hello, 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 François
