On 25 Jan 2023, at 11:19, Demi Marie Obenour wrote:

On 1/22/23 17:08, Birgit Brecknell wrote:

...

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

When is the next one? Is there a calendar I can subscribe to?

There is! https://sel4.systems/contact/ has the web view of the calendar, and https://calendar.google.com/calendar/u/0?cid=NXNybzFhaGtodDNsb2NuaGRxMnFmbDh... is the direct calendar link. Cheers, Gerwin