[Xenomai] [patch] Raspberry Pi - 3.10.34

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Wed Apr 2 20:03:48 CEST 2014


On 04/02/2014 07:48 PM, Gregory Dymarek wrote:
> 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


So, these have to be submitted as patch for the I-pipe kernel git. This
will be included when the next I-pipe patch will be generated.

> 
> 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?

I have explained you how to generate pre- and post- patches. Please go
back and read again.

http://www.xenomai.org/pipermail/xenomai/2014-March/030441.html

-- 
                                                                Gilles.




More information about the Xenomai mailing list