a question about L4_MAP_ITEM_GRANT

[Chen Tian]

Hello,

I have a simple question. If a parent maps a page into a child's space with
this flag, can the parent regain this page and remove this mapping later? I
did a simple test. It seems that with this flag in l4_task_map, the child
owns the mapped page permanently. What I'd like to do is when a child
finishes its job and returns such a granted page to its parent, the parent
can reuse this page for some other child.


 Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120913/7e0fc761/attachment.html>