[seL4] Reminder seL4 developer hangout

14 Nov 2022

      Hi all

A friendly reminder that the seL4 developer hangout is on again this week:

Wed, Nov 16, 6am (UTC), Topics: (open)

  *   Sydney: Wed, Nov 16, 5pm
  *   Central Europe: Wed, Nov 16, 7am
  *   US Pacific Time: Tue, Nov 15, 10pm

Zoom link: https://unsw.zoom.us/j/82640784431

cheers
Birg

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>

seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems>

0433 880 571

Mon 9am-5pm

Wed 9am-12pm

Fri 9am-5pm