Glad that you could join, and do feel free to ask questions! Cheers, Gerwin
> On 27 Jan 2022, at 16:57, Eric Jacobs <e...@theeric.com> 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 <kle...@unsw.edu.au> >>> Subject: [seL4] Re: seL4 developer hangout/video call >>> To: devel <devel@sel4.systems> >>> Message-ID: <7f36f76c-e596-4a51-9419-785ab723c...@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 <kle...@unsw.edu.au> 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
