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:

1. Re: Design Question about implementing RPC on top of IPC (Sid Agrawal)
2. Re: Design Question about implementing RPC on top of IPC (Christian Helmuth)
3. 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