A reminder for the 3rd seL4 developer hangout: - Sydney: Wed, Dec 1, 8am - Central Europe: Tue, Nov 30, 10pm - US West Coast: Tue, Nov 30, 1pm
Zoom link: https://unsw.zoom.us/j/82640784431 Cheers, Gerwin _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
