Agenda updated with feedback from the mailing list and GitHub: - Action items from last meeting
- Style and CI: - should we mandate rustfmt in style guide and CI? (code formatting, now that there is more Rust code) - should we mandate Rust clippy in CI? (Rust linter) - should we mandate or allow a Python linter in CI? Which one? (Options: ruff, mypy, flake8, pylint) - what level of lint failures do we tolerate? - bump version of cmake-format (will break current formatting) to reduce python dependency hell - should we bump the min version of cmake and when? (E.g. for EOL of Ubuntu 20.04) - RFCs: - discuss new FPU RFC: https://github.com/seL4/rfcs/pull/26 - hear about progress on PMU, budget limit, device driver framework - make decision on old RFC-4: https://github.com/seL4/rfcs/pull/12 - any feedback on GitHub RFC implementation Cheers, Gerwin > On 12 Jul 2024, at 16:16, Gerwin Klein via Devel <devel@sel4.systems> wrote: > > The Technical Steering Committee (TSC) of the seL4 Foundation will hold its > next public meting on: > > - Sydney: Thu, 25 Jul, 4pm > - Central Europe: Thu, 25 Jul, 8am > - US West Coast (LA/SF): Thu, 25 Jul, 0:00h > > 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/89949317341?pwd=JSC976ciVYmbDJByjSFH0chh78sCsg.1 > > 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 > - discuss new FPU RFC: https://github.com/seL4/rfcs/pull/26 > - hear about progress on PMU, budget limit, device driver framework > - make decision on old RFC-4: https://github.com/seL4/rfcs/pull/12 > - any feedback on GitHub RFC implementation > - bump version of cmake-format (will break current formatting) to reduce > python dependency hell > > 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://docs.sel4.systems/processes/conduct.html > > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
