The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on:
- Sydney: Tue, 12 Sep, 4pm - Central Europe: Tue, 12 Sep, 8am - US West Coast (LA/SF): Mon, 11 Sep, 11pm
See also the seL4 calendar feed available from here: https://sel4.systems/contact/home.pml
The meeting is by Zoom, and you can join from here:
https://unsw.zoom.us/j/85916669769
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 form last meeting
- discuss and vote on RFC-5 (The seL4 Core Platform)
- discuss and vote on adding the seL4 Rust support repositories currently at
https://github.com/coliasgroup/rust-seL4
to the seL4 GitHub org.
- discuss steps for the next seL4 release
- if there is time: discuss remaining open RFCs
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)