Hi seL4 devs,
a few of us thought it might be nice to talk more directly from time to time rather than
only via pull requests, so we're trialling a seL4 developer hangout/video chat.
The idea for this is to be:
- informal, about 1h
- for technical discussions about seL4 and related repositories
- anyone can join
- every two weeks, initially for 3 times, then we can decide how we like it
At least one or two technical steering committee (TSC) members will try to be at every one
of these, but these are not TSC meetings where formal decisions are made, just technical
discussions about whatever people have on their minds.
To provide a starting topic, one thing we'd be interested in is:
seL4 boot code
There have been quite a few pull requests in that area, and it'd be nice to know what
people's plans are and how we can keep this part of seL4 high assurance while making
it more flexible. Other topics for future meetings could be better support for other
language bindings (e.g. Rust), any RFCs that are open or people are thinking about
opening, or just discussions about current pull requests or issues.
The first hangout is on
- Sydney: Wed, Nov 3, 8am
- Central Europe: Tue, Nov 2, 10pm
- US East Coast: Tue, Nov 2, 2pm
Zoom link: https://unsw.zoom.us/j/82640784431