Design Question about implementing RPC on top of IPC

[Christian Helmuth]

Hello Sid,

are your aware of the article series about "Genode on seL4" [1]?
Especially the section about "Translation of capabilities aka
unwrapping" [2] may be of interest to you.

[1] https://genode.org/documentation/articles/index
[2] https://genode.org/documentation/articles/sel4_part_2#Translation_of_capabilities_aka__unwrapping_

Regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · https://genodians.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth