Matteo Facchinetti @ Sirius Electronic Systems S.R.L. wrote:
> Hi all,
> I'm using framework RTDM to develop my driver on embedded system mpc5200
> (kernel 220.127.116.11 (powerpc arch) - xenomai 2.4.3).
> I've need to use rtdm_mmap_to_user() to share a kmalloc() kernel memory
> in userspace.
> For this, I'm using the example in
> Running a similar example I've discovered a problem in kmalloc remapping.
> The only way that I've found, to make remapping correctly, is to
> allocate an entire kernel mem page with __get_freepage() instead of
> I think that could be a bug in powerpc arch.
> what do you think about?
There are two known problems with memory mapping:
- one when using high memory (more than 1GB RAM), for which a proposed
fix is here:
- one specifically on power pc, fixed here:
Xenomai-core mailing list