Re: [Xenomai-core] [Patch 1/7] Support for non cached memory mappings

2008-05-18 Thread Philippe Gerum
Gilles Chanteperdrix wrote: In addition to support for non cached memory mappings, this patch implements xnheap_init_mapped and xnheap_destroy_mapped in the !CONFIG_XENO_OPT_PERVASIVE case. This avoids a lot of #ifdefs for users of these functions without user-space support (posix skin shared

[Xenomai-core] [Patch 1/7] Support for non cached memory mappings

2008-05-02 Thread Gilles Chanteperdrix
In addition to support for non cached memory mappings, this patch implements xnheap_init_mapped and xnheap_destroy_mapped in the !CONFIG_XENO_OPT_PERVASIVE case. This avoids a lot of #ifdefs for users of these functions without user-space support (posix skin shared memories, and the new semaphore