Granting flex pages in Fiasco.OC / L4Re

Stefan Kalkowski stefan.kalkowski at
Wed Mar 28 11:08:52 CEST 2012

Hi Daniel,

as far as I understood you correctly, you just have to use the
L4_ITEM_MAP_GRANT flag. It will make sure that the entries from the
originator task are revocated, e.g.:

   l4_task_map(dst_task, src_task, snd_fpage,
               cap | L4_ITEM_MAP | L4_MAP_ITEM_GRANT);

I hope this is what you were looking for.


On 28.03.2012 02:22, Daniel Waddington wrote:
> Hi,
> I am using l4_task_map to map flex pages to a child task.  What I would
> like to do is grant a flex page to a child and remove the mapping from
> the parent.  How do I do this? I have tried using
> l4_map_obj_control(0,1) for mr[3] on the task map call but this does not
> seem to help.
> Thanks in advance,
> Daniel
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

Stefan Kalkowski
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the l4-hackers mailing list