Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Oct 19, 6am (UTC), Topics: (open)
* Sydney: Wed, Oct 19, 5pm * Central Europe: Wed, Oct 19, 8am * US Pacific Time: Tue, Oct 18, 11pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers, Gerwin