On Jan 23, 2022, at 8:01 PM, devel-request(a)sel4.systems wrote: Send Devel mailing list submissions to devel(a)sel4.systems To subscribe or unsubscribe via email, send a message with subject or body 'help' to devel-request(a)sel4.systems You can reach the person managing the list at devel-owner(a)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: Sun, 23 Jan 2022 07:13:27 +0000 From: Gerwin Klein <kleing(a)unsw.edu.au> Subject: [seL4] Re: seL4 developer hangout/video call To: devel <devel(a)sel4.systems> Message-ID: <678C2D4C-EEE5-4D79-82BD-256BC78B3BFC(a)unsw.edu.au> Content-Type: text/plain; charset="us-ascii" 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(a)sel4.systems To unsubscribe send an email to devel-leave(a)sel4.systems ------------------------------ End of Devel Digest, Vol 134, Issue 1 *************************************