Hi all, as I was (and still am) in the need to test also non-x86 from time to time, I hacked up a little framework for generating bootable Debian images with Xenomai pre-installed. It's currently hosted on my personal github space:
https://github.com/jan-kiszka/xenomai-images I think we should move this over to the Xenomai group at gitlab.denx.de and expand this step-wise with more archs (that QEMU support) as well as real targets. I think I will add the HiKey board tomorrow, should be rather simple as I did this for jailhouse-images [1], the inspiration and source of this layer, just recently. Provided the ipipe kernel works fine with it. Comments? Suggestions? Opinions? Jan [1] https://github.com/siemens/jailhouse-images -- Siemens AG, Corporate Technology, CT RDA IOT SES-DE Corporate Competence Center Embedded Linux