The next one will flip time zones again, so don't worry if you miss this one. Cheers, Gerwin
On 31 May 2022, at 10:02, Isaac Beckett <isaactbeckett@gmail.com> wrote:
Oh boy, 3AM! I hope to make it, but if I sound tired, that’s why.
Date: Mon, 30 May 2022 00:08:16 +0000 From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Subject: [seL4] Reminder seL4 developer hangout To: "devel@sel4.systems" <devel@sel4.systems> Message-ID: <MEAPR01MB44693624005ED9CB8CFDD3A7DEDD9@MEAPR01MB4469.aus prd01.prod.outlook.com> Content-Type: text/plain; charset="iso-8859-1"
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Jun 1, 7am (UTC), Topics: (open)
* Sydney: Wed, Jun 1, 5pm * Central Europe: Wed, Jun 1, 9am * US Pacific Time: Wed, Jun 1, 12 midnight
Zoom link: https://unsw.zoom.us/j/82640784431
cheers Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems