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_capabil...
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