Here is the first attempt of Xenomai-3 reference images, this is based
on 4.14 ipipe kernel and the rootfs is a Ubuntu based. Xenomai was
built off the stable-3.0.x branch. The images are currently hosted on
google drive which may change later but for now it should work. Ping
me if there are access problems.
Currently only RPI2 is in included with a extremely simple RT app.
Zynq boards and gpio examples will be posted this weekend (yay long
Please send any feedback or suggestion of improvements directly to me
Xenomai mailing list