> On 25Apr, 2022, at 06:00, [email protected] wrote:
> 
> Send users mailing list submissions to
>       [email protected]
> 
> 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
>       [email protected]
> 
> You can reach the person managing the list at
>       [email protected]
> 
> 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 <[email protected]>
> To: [email protected]
> Subject: Re: Design Question about implementing RPC on top of IPC
> Message-ID: <[email protected]>
> 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_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

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

Reply via email to