[seL4] Re: seL4 developer hangout/video call

Glad that you could join, and do feel free to ask questions! Cheers, Gerwin

On 27 Jan 2022, at 16:57, Eric Jacobs wrote:

Thanks for hosting the video chat and inviting everyone. I was not able to follow everything but it was interesting and informative nonetheless (so much to learn!)

-Eric

Isaac Beckett wrote:

...

Hello all! If you’re reading this at the time it was sent, then the developer hangout is in roughly an hour. See you there!

...

On Jan 25, 2022, at 8:02 PM, devel-request@sel4.systems wrote:

Send Devel mailing list submissions to devel@sel4.systems

To subscribe or unsubscribe via email, send a message with subject or body 'help' to devel-request@sel4.systems

You can reach the person managing the list at devel-owner@sel4.systems

When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."

Today's Topics:

1. Re: seL4 developer hangout/video call (Gerwin Klein)

----------------------------------------------------------------------

Message: 1 Date: Tue, 25 Jan 2022 06:52:21 +0000 From: Gerwin Klein Subject: [seL4] Re: seL4 developer hangout/video call To: devel Message-ID: <7F36F76C-E596-4A51-9419-785AB723CC03@unsw.edu.au> Content-Type: text/plain; charset="us-ascii"

Just a reminder that seL4 dev hangout is not tomorrow, but shifted by one day.

Cheers, Gerwin

...

On 23 Jan 2022, at 18:13, Gerwin Klein wrote:

An earlier-than-usual heads-up that the seL4 developer hangout this week will be shifted by one day, because of the public holiday in Australia.

This means, we're meeting on Wed for Europe/US and on Thu for Australia:

- Sydney: Thu, Jan 27, 8am - Central Europe: Wed, Jan 26, 10pm - US West Coast: Wed, Jan 26, 1pm

Zoom link: https://unsw.zoom.us/j/82640784431

Cheers, Gerwin

------------------------------

Subject: Digest Footer

_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems

------------------------------

End of Devel Digest, Vol 135, Issue 2 *************************************

---

Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems

_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems