Capability mapping

Daniel Waddington d.waddington at ...60...
Sat Dec 22 00:49:26 CET 2012


Hi,

I'd like to better understand the capability mapping support in Genode.

Is there a generalized mechanism (beyond RPC endpoint mapping) for a 
parent to map capabilities (e.g., Dataspace) between two child processes?

Can a process (e.g., client) map a capability into another capability?  
I am wondering how the packet_stream interface establishes shared memory 
e.g., for channels.

I guess I am looking for something equivalent to L4Re 
l4re_ns_query_to_srv 
<http://os.inf.tu-dresden.de/L4Re/doc/group__api__l4re__c__ns.html#ga5069ab93cc8a3611dd208a8af83940b0> 
and l4re_ns_query_to_srv 
<http://os.inf.tu-dresden.de/L4Re/doc/group__api__l4re__c__ns.html#ga5069ab93cc8a3611dd208a8af83940b0> 
APIs.

Sorry for the newbie questions.

Daniel

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20121221/1f18b6b3/attachment.html>


More information about the users mailing list