[Xenomai] ipipe-core-3.10 patch for arm

Lim Tao Ming (SIMTech) tmlim at simtech.a-star.edu.sg
Wed Apr 30 04:36:48 CEST 2014


I saw from your past discussion that there is a patch for kernel version 3.10 but was not released. It just so happened that the provided kernel source code with support for my hardware is always released with version sublevel=0 (i.e. 3.10 but not 3.10.18 or 3.10.32). Can I get this patch from you to try out xenomai? BTW I am a newbie at this and I've tried patching the 3.10 source code using the 3.10.18 and 3.10.32 patches without success.

Thanks and best regards

More information about the Xenomai mailing list