The next instalment of the seL4 developer hangout is happening as planned tomorrow. It's the last one for this year:
- Sydney: Wed, Dec 15, 8am - Central Europe: Tue, Dec 14, 10pm - US West Coast: Tue, Dec 14, 1pm Zoom link: https://unsw.zoom.us/j/82640784431 (There is also a separate meeting of the technical steering committee end of this week) Cheers Gerwin _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
