Devel search results for query "developer hangout"

devel@sel4.systems

117 messages

Re: seL4 developer hangout/video call

by Eric Jacobs

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

3 years, 4 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Wed, Sep 21, 7am (UTC), Topics: (open) * Sydney: Wed, Sep 21, 5pm * Central Europe: Wed, Sep 21, 9am * US Pacific Time: Wed Sep 21, 12 midnight Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 9 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Wed, Dec 14, 6am (UTC), Topics: (open) * Sydney: Wed, Dec 14, 5pm * Central Europe: Wed, Dec 14, 7am * US Pacific Time: Tue, Dec 13, 10pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 6 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Tue, Nov 29, 9pm (UTC), Topics: (open) * Sydney: Wed, Nov 30, 8am * Central Europe: Tue, Nov 29, 10pm * US Pacific Time: Tue, Nov 29, 1pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 6 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Wed, Nov 16, 6am (UTC), Topics: (open) * Sydney: Wed, Nov 16, 5pm * Central Europe: Wed, Nov 16, 7am * US Pacific Time: Tue, Nov 15, 10pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 7 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Wed, Aug 24, 7am (UTC), Topics: (open) * Sydney: Wed, Aug 24, 5pm * Central Europe: Wed, Aug 24, 9am * US Pacific Time: Aug 24, 12 midnight Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 10 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again next week: Wed, Jul 27, 7am (UTC), Topics: (open) * Sydney: Wed, Jul 27, 5pm * Central Europe: Wed, Jul 27, 9am * US Pacific Time: Wed, Jul 27, 12 midnight * Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 11 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again next week: Tue, Jul 12, 10pm (UTC), Topics: (open) * Sydney: Wed, Jul 13, 8am * Central Europe: Wed, Jul 13, midnight * US Pacific Time: Tue, Jul 12, 3pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 11 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Tue, Jan 24, 9pm (UTC), Topics: (open) * Sydney: Wed, Jan 25, 8am * Central Europe: Tue, Jan 24, 10pm * US Pacific Time: Tue, Jan 24, 1pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 5 months

Reminder seL4 developer hangout

by Birgit Brecknell

Hi all A friendly reminder that the seL4 developer hangout is on again this week: Wed, Mar 8, 6am (UTC), Topics: (open) * Sydney: Wed, Mar 8, 5pm * Central Europe: Wed, Mar 8, 7am * US Pacific Time: Tue, Mar 7, 10pm Calendar: https://sel4.systems/contact/ Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

2 years, 3 months

← Previous
1
...
5
6
7
8
9
10
11
12
Next →