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@lists.genode.org
https://lists.genode.org/listinfo/users