Linux Kernel with Xenomai patch into i.MX53 Quick Start Board

[berto]

Hi all,
I'm doing my thesis on your Freescale i.MX53 Quick Start board.

The goal coinsiste in the development of a Real-Time platform based on Linux.

I need to install the Linux kernel with the patch Xenomai into the MicroSD card.

- Do you have the necessary commands for patching and compiling the kernel in an ARM architecture?

- What Kernel (and Xenomai) version do you recommend in terms of compatibility? Is Linux 2.6.38.8 with Xenomai 2.6.0 a good solution?

Thank you!

regards.

[jimmychan · Accepted solution]

We don't have much information and work for Xenomai. I think you may see this for reference.

http://www.denx.de/en/Software/SoftwareXenomaiProjects#Xenomai_Real_Time_Support_for_i