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 [email protected] https://mail.gna.org/listinfo/xenomai-core
