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 <waddy16...@gmail.com>
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
>
------------------------------------------------------------------------------
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785471&iu=/4140
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to