Trustworthy Systems will be celebrating seL4 Day with a little party, starting 13:00 Sydney time, at the TS digs on Level 3 of the CSE Building (K17) on UNSW’s Kensington campus. Any seL4 developers in town are welcome to attend! Gernot