Hi Philippe, currently trying to understand [1]: The check in lockdep_hardirqs_on_prepare triggers, e.g. over exc_int3 -> do_int3_user, and then on cond_local_irq_enable().
Where should have the current stage be stalled after exc_int3 so that lockdep is happy? Interestingly, I do not get this with my local .config, and I still didn't find the switches that make the difference. Jan [1] https://source.denx.de/Xenomai/xenomai-images/-/jobs/276895#L946 -- Siemens AG, T RDA IOT Corporate Competence Center Embedded Linux
