The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on: - Sydney: Wed, 3 Dec, 6pm - Central Europe: Wed, 3 Dec, 8am - US West Coast (LA/SF): Tue, 2 Dec, 11pm See also the seL4 calendar feed available from here: https://sel4.systems/stay-informed.html The meeting is by Zoom, and you can join from here: https://unsw.zoom.us/j/89019527332 Anyone interested can join the meeting and listen to the discussion and request to speak, which will be granted if time permits. Only TSC members can vote. The seL4 code of conduct applies to the meeting [1]. The agenda for the meeting so far is: - action items from last meeting - adopting TSC charter for the new seL4 Foundation organisation - discuss/vote on open RFCs: https://github.com/seL4/rfcs/pulls We are not likely to get through all of the RFCs in this meeting. If you have an RFC open and want to facilitate it moving forward, please leave a comment that summarises the discussion so far so we can pick up there in the meeting. If there are other items that I missed or you think should be on the agenda, please let me know. If we can't get to an item this time, we can still schedule another meeting. Cheers, Gerwin (TSC chair) [1]: https://sel4.systems/Contribute/conduct.html This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.