27 Jan
2022
27 Jan
'22
7:01 a.m.
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(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: Tue, 25 Jan 2022 06:52:21 +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: <7F36F76C-E596-4A51-9419-785AB723CC03(a)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(a)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(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
------------------------------
End of Devel Digest, Vol 135, Issue 2
************************************* 
27 Jan
27 Jan
4:57 p.m.
New subject: seL4 developer hangout/video call
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(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: Tue, 25 Jan 2022 06:52:21 +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: <7F36F76C-E596-4A51-9419-785AB723CC03(a)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
_______________________________________________
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
On 23 Jan 2022, at 18:13, Gerwin Klein
<kleing(a)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(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
------------------------------
End of Devel Digest, Vol 135, Issue 2
*************************************
5:10 p.m.
New subject: seL4 developer hangout/video call
Glad that you could join, and do feel free to ask questions!
Cheers,
Gerwin
On 27 Jan 2022, at 16:57, Eric Jacobs
<eric(a)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!
_______________________________________________
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
On Jan 25, 2022, at 8:02 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: Tue, 25 Jan 2022 06:52:21 +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: <7F36F76C-E596-4A51-9419-785AB723CC03(a)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
_______________________________________________
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
On 23 Jan 2022, at 18:13, Gerwin Klein
<kleing(a)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(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems
------------------------------
End of Devel Digest, Vol 135, Issue 2
*************************************
149
days inactive
150
days old
2 comments
3 participants
participants (3)
-
Eric Jacobs -
Gerwin Klein -
Isaac Beckett