New subject: seL4 developer hangout/video call

27 Jan 2022


      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
*************************************

Re: seL4 developer hangout/video call

Isaac Beckett

Eric Jacobs

Gerwin Klein

tags

participants (3)