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 HiKey board based on kernel release tag 15.06 and snapshot 345
For the time being, you can pull the ipipe patched kernel and xenomai from my work area.
Pleaes note that this kernel uses Hisilicon’s fastboot bootloader and not UEFI.
More information will follow.