Hi all
A friendly reminder that the seL4 developer hangout is on this week:
* Sydney: Wed, Feb 23, 8am
* Central Europe: Tue, Feb 22, 10pm
* US Pacific Time: Tue, Feb 22, 1pm
(There are too many time zones in the world to cite them all :))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au
seL4 Foundation, birgit(a)sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Friendly reminder that the seL4 developer hangout is on this week:
- Sydney: Wed, Feb 9, 8am
- Central Europe: Tue, Feb 8, 10pm
- US Pacific Time: Tue, Feb 8, 1pm
(There are too many time zones in the world to cite them all :))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
June
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!
>>
>>> 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
>>> *************************************
>> _______________________________________________
>> Devel mailing list -- devel(a)sel4.systems
>> To unsubscribe send an email to devel-leave(a)sel4.systems
>
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
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
>>
>>> 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
>> *************************************
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
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
> *************************************
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
>
Thank you, Isaac !
On Sun, Jan 23, 2022 at 8:23 PM Isaac Beckett <isaactbeckett(a)gmail.com> wrote:
>
> Other US time zones:
> PST (West Coast): 1pm
> MST (Mountain Time): 2pm
> CST (Central Time): 3pm
> EST (East Coast): 4pm
> We have a lot of time zones here, it’s a bit of a pain sometimes.
>
> >
> > 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
> > *************************************
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
Other US time zones:
PST (West Coast): 1pm
MST (Mountain Time): 2pm
CST (Central Time): 3pm
EST (East Coast): 4pm
We have a lot of time zones here, it’s a bit of a pain sometimes.
>
> 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
> *************************************
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
The first instalment of the seL4 developer hangout in 2022 is resuming with the regular 2-week schedule:
> - Sydney: Wed, Jan 12, 8am
> - Central Europe: Tue, Jan 11, 10pm
> - US West Coast: Tue, Jan 11, 1pm
>
> Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin