Memory protection clarification.

Daniel Waddington waddy16925 at ...9...
Tue Mar 29 17:55:35 CEST 2016

Apologies for spamming the list - the answers to my questions are all in
the *marvelous* Genode book --

Delegation is mapped not granted and core retains capabilities for all
resources (and does the book-keeping of course).

When a child is destructed the resources go back to the parent.

One thing though that is not clear to me, is that if a child dies and is
not cleanly destroyed, do the resources get lost?


On Mon, Mar 28, 2016 at 3:39 PM, Daniel Waddington <waddy16925 at ...9...>

> Hi,
> If an application allocates memory from its parent (e.g., from init) - is
> this memory capability granted or mapped? Assuming a secure kernel and
> IOMMU, how secure is this memory from access by other processes or the root
> process?  How is memory clean up after application exit/death?
> (Sorry for the newbie questions, I have some catching up to do).
> Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list