Re: seL4 developer hangout/video call
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 <kleing@unsw.edu.au> Subject: [seL4] Re: seL4 developer hangout/video call To: devel <devel@sel4.systems> 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 <kleing@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 *************************************
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 <kleing@unsw.edu.au> Subject: [seL4] Re: seL4 developer hangout/video call To: devel <devel@sel4.systems> 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 <kleing@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
Glad that you could join, and do feel free to ask questions! Cheers, Gerwin
On 27 Jan 2022, at 16:57, Eric Jacobs <eric@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 <kleing@unsw.edu.au> Subject: [seL4] Re: seL4 developer hangout/video call To: devel <devel@sel4.systems> 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 <kleing@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
participants (3)
-
Eric Jacobs -
Gerwin Klein -
Isaac Beckett