On 25Apr, 2022, at 06:00, users-request@lists.genode.org wrote:
Send users mailing list submissions to users@lists.genode.org
To subscribe or unsubscribe via the World Wide Web, visit https://lists.genode.org/listinfo/users or, via email, send a message with subject or body 'help' to users-request@lists.genode.org
You can reach the person managing the list at users-owner@lists.genode.org
When replying, please edit your Subject line so it is more specific than "Re: Contents of users digest..."
Today's Topics:
- Re: Design Question about implementing RPC on top of IPC (Sid Agrawal)
- Re: Design Question about implementing RPC on top of IPC (Christian Helmuth)
- Re: Design Question about implementing RPC on top of IPC (Norman Feske)
Message: 2 Date: Mon, 25 Apr 2022 08:30:09 +0200 From: Christian Helmuth christian.helmuth@genode-labs.com To: users@lists.genode.org Subject: Re: Design Question about implementing RPC on top of IPC Message-ID: 20220425063009.GB2097@genode-labs.com Content-Type: text/plain; charset=utf-8
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_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
Hello Christian, Would it be possible to have publication & any modification dates added to these articles ? I know for me, that would help place the articles in context to other ongoing developments.
Thanks, Turlough