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 <waddy16925@...9...> 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