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