On 04.08.21 16:29, Gylstorff Quirin wrote: >> But thanks for debugging this. Maybe also clarify that the board >> generally does not boot, but sometimes it still does. > > My target never boots with xenomai-images > b06f6eeef11500b6bce55a1a1e1e27e43fc3fd77. >
This one, e.g., did so: https://source.denx.de/Xenomai/xenomai-images/-/jobs/303430 Jan -- Siemens AG, T RDA IOT Corporate Competence Center Embedded Linux