Re: Memory protection clarification.

[Daniel W. <wad...@gm...>]

Apologies for spamming the list - the answers to my questions are all in
the *marvelous* Genode book --
http://genode.org/documentation/genode-foundations-15-05.pdf

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?

Daniel


On Mon, Mar 28, 2016 at 3:39 PM, Daniel Waddington <wad...@gm...>
wrote:

> 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
>