On Wed, Jun 4, 2008 at 5:09 PM, Markus Osterried
<[EMAIL PROTECTED]> wrote:
> Hi,
>
> our kernel (along with the device drivers) is specifically adapted to
> our embedded system, it would be a huge bunch of work to change the
> kernel.
> I think to do the ipipe backport is a lot easier.

I do not have time to do a git diff right now, but you can find the
changes yourself by looking into the latest patches for the changes in
include/linux/mm.h and mm/memory.c


-- 
 Gilles

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to