Design Question about implementing RPC on top of IPC

Sid Agrawal siagraw at cs.ubc.ca
Mon Apr 25 20:20:05 CEST 2022


> 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.
>
> Hi Christian,
Thanks for sharing this. I did look at this article and the note about
unwrapping. But unwrapping only works for the endpoint over which the
message was received if that cap was in extraCaps. It does not work for all
caps all caps in extraCaps.

[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
>
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20220425/8867b7ff/attachment.htm>


More information about the users mailing list