The technical steering committee (TSC) of the seL4 Foundation had its
constituting meeting on 20 May, and the meeting minutes [1] are now published
on the TSC page of the foundation [2].
The TSC is the body that sets the technical direction of seL4 and its proofs,
including processes, contributions, documentation, etc.
This first TSC meeting was mostly about processes and setting things up —
future TSC meetings are planned to be public, and will be announced on this
mailing list.
One of the first things the TSC would like to do is make seL4 and its related
repositories easier to contribute to.
You may have seen a few things that already have happened:
- more content on the docs site at foundation launch
- DCO instead of CLA
- first direct github CI tests that run on pull requests for the seL4 and l4v
repos
Some of the things we are planning to do:
- make seL4 code and proof regression tests available directly on github as
much as possible, to make it easier to see what breaks verification and
what not
- open up issues and pull request management more to the community so that
pull
requests can become less of a bottleneck
- publish the source of the sel4.systems site, so people can make
contributions
- more documentation for the proofs
If you have ideas what else the TSC could do to encourage contributions, please
let us know! Either here on the mailing list, or if you prefer, by email to me
directly.
Cheers,
Gerwin (for the TSC)
[1]: https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf
[2]: https://sel4.systems/Foundation/TSC/
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
