[seL4] Re: next seL4 TSC meeting on Thu 25 Jul

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 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