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