[Xenomai] [patch] Raspberry Pi - 3.10.34

Gregory Dymarek gregd72002 at gmail.com
Wed Apr 2 19:48:17 CEST 2014


Well, have you looked inside it?
it consists of 3 items:
1) local_fiq_enable/disable fix
    - from previous discussions it was obvious this should be in the
ipipe-core patch
    - it is not raspberry pi specific

2) clockchips.h fix
    - a systemic change to linux-kernel breaks this
    - it is not raspberry pi specific

3) PAGE_SIZE vs FIRST_USER_ADDRESS
   - this looks like a conflict between vanilla kernel and raspberry
pi kernel that rejects the original ipipe patch
   - what do you suggest to do?




On 2 April 2014 18:40, Paul <paul_c at tuxcnc.org> wrote:
> 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