[Xenomai-help] Kernel compilation procedures for imx51

[Flavio Alves <flavio.alves@domain.hid>]

Hello,

I would like to build a linux kernel with Xenomai to run on a iMX51
board (iMX51EVK).

I am currently using the last version of the BSP from Freescale website
(LTIB). If I apply the BSP's patches before the Xenomai's patches, the
patches are not applied. So, I first apply Xenomai's patches and then
BSP's patches.

The problem in this approach is that I have compilation errors, even if
I have all the patches successfully applied.

I saw at Denx homepage that there is a specific patch for Xenomai for
iMX51. But the patch provided by the website must be used into the
"rel_imx_2.6.31_10.02.00" tag in in Freescale's LTIB source tree. I
believe the release version of LTIB that I am using is 10.04.00 (and not
10.02.00) and maybe that's the reason why it is not compiling. How do I
get that release of LTIB?

I saw that the patch provided in the website
(adeos-ipipe-2.6.31-arm-1.15-01.patch) is different from the Xenomai
2.5.3 package (adeos-ipipe-2.6.31-arm-1.15-02.patch). Does it mean that
this topic was solved?

Best Regards,

Flavio