This is 4pm east coast US/EST.

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)

Cheers Gerwin