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 22.214.171.124 with Xenomai 2.6.0 a good solution?