> 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 > [email protected] > https://lists.genode.org/listinfo/users >
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
