Hi Philippe, seems we have some issue with the new 5.15 dovetail kernel, see e.g.
https://source.denx.de/Xenomai/xenomai-images/-/jobs/371693 https://source.denx.de/Xenomai/xenomai-images/-/jobs/371694 https://source.denx.de/Xenomai/xenomai-images/-/jobs/371695 (kernel BUG at mm/rmap.c:1049!) Or are there changes needed on Xenomai side? Jan -- Siemens AG, Technology Competence Center Embedded Linux
