[Xenomai] [patch] Raspberry Pi - 3.10.34

Paul paul_c at tuxcnc.org
Wed Apr 2 19:40:39 CEST 2014


On Wednesday 02 April 2014, Gregory Dymarek wrote:
> Hi,
>
> Enclosed patches needed to get Xenomai compiled on Raspbery Pi kernel
> 3.10.34 (github sha: 7cf0cf0d3e53b4c62f4931bb2d7cb60a1a07b132)
>
> This is based on ipipe-core-3.10.18-arm-1.patch.
>
> Steps:
> 1) get ipipe-core-3.10.18-arm-1.patch
> 2) patch it using rpi-ipipe-core-3.10.34-arm-1.patch

No.

The pre-patch is applied to the kernel sources so that the corresponding 
ipipe-core patch applies cleanly. Do not patch a patch to fix a 
problem.

> 3) do prepare_kernel.sh or patch the kernel using the above patch
> 4) patch kernel using ipipe-core-3.10.34-arm-raspberry-post-1.patch
> 5) done





More information about the Xenomai mailing list