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