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