On 07/05/2013 03:38 PM, Marek Vasut wrote:

Hello,

I attempted to use xenomai on i.MX28-based board, but unfortunatelly failed so
far. I use mainline Linux 3.8.2 on the board with no additional patches,
therefore I did:

   git clone git://git.xenomai.org/xenomai-2.6.git

To retrieve xenomai-2.6/master . Then I went on to patch the Linux kernel
source:

./scripts/prepare-kernel.sh --linux=../linux-stable --
ipipe=ksrc/arch/arm/patches/ipipe-core-3.8-arm-1.patch --arch=arm

Next I ran "make oldconfig" in the kernel tree. I enabled XENOMAI and left the
newly added configuration options at their default values.

After compiling the kernel, the kernel does not boot on the board anymore, while
the kernel did boot before patching without problems.

Can you please give me any pointers or ideas on how to progress ?


Try:
http://xenomai.org/index.php/I-pipe-core:ArmPorting

--
                                                                Gilles.

_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to