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