Hi Greg, something is going wrong on arm64 with latest ipipe version, see e.g.
https://source.denx.de/Xenomai/xenomai-images/-/jobs/398455/raw (same thing seen on HiKey as well) Could you have a look? Thanks, Jan -- Siemens AG, Technology Competence Center Embedded Linux
