Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Tue, Apr 19, 10pm (UTC) * Sydney: Wed, Apr 20, 8am * Central Europe: Wed, Apr 20, 12 midnight * US Pacific Time: Tue, Apr 19, 3pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers, Gerwin