Hi all A friendly reminder that the seL4 developer hangout is on again this week. - Tue 27 Oct, 21:00 UTC For your local date and time please see https://sel4.systems /stay-informed.html#calendar Note: seL4 Developer Hangout now uses Jitsi To start the meeting, please login (e.g. using google or github credentials). Once the meeting has started, anyone with the link can join. Jitsi link: https://meet.jit.si/seL4DeveloperHangout -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com