[Xenomai] Feasibility: Xenomai support/integration on msm targets (APQ8060 dragonboard)

[mayank.chopra@smartplayin.com]

Hi Experts,

Its been a day exploring whether Xenomai is/could be supported on msm based chipsets specifically APQ8060. I could not find much support for msm platforms, so putting up this request to help me understand what all it takes to support Xenomai on these platforms.
Going by the porting guide, it seems Xenomai is tightly coupled with ARM instruction set as well as ARM architecture versions. Appreciate if someone can help me answer below queries:
1. Does Xenomai support Krait CPU architecture which msm chipsets like APQ8060 are based on?
2. I am looking for kernel 3.0 (customized to the target) support. I got below ipipe patches:
      adeos-ipipe-3.0.13-arm-1.18-05.patch
      adeos-ipipe-3.0.13-arm-1.18-09.patch
      adeos-ipipe-3.0.36-arm-1.18-11.patch

But, the patches (tried all 3 one by one) did not go well, as they ended up in "unexpected end of file in patch" error.

I understand it is not so straight forward to apply above patches and make it work. I need some guidance to first complete the feasibility part and then jumping on to try support Xenomai on APQ8060 target. Any help is appreciated.

Thanks,
Mayank