While this is still work in progress (we havent merged the aarch64 support into our Xenomai trees yet) we are happy to announce an early release of Xenomai for the 410c based on release 15.07.
For the time being, you can pull the ipipe patched kernel and xenomai from my work area.
More information will follow.
