The next instalment of the seL4 developer hangout is happening as planned tomorrow.
It's the last one for this year:
- Sydney: Wed, Dec 15, 8am
- Central Europe: Tue, Dec 14, 10pm
- US West Coast: Tue, Dec 14, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431
(There is also a separate meeting of the technical steering committee end of this week)