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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
