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. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
