The "new" PRs from Brad are all merged now. Two items to enqueue, both actually overlap with items from last week (Rust userland and reframing core call, respectively): 1. This fits into some of the carry over from last week, but a suggestion about maintaining userland drivers alongside their kernel counterparts (potentially with some tooling). 2. Communication tools and bringing non-attendees into the fold -Amit Hudson Ayers <hudayers@gmail.com> writes:

Please reply with agenda items for tomorrow's meeting.

Brad has asked for people to check-in on the following PRs:

https://github.com/tock/libtock-c/pull/431 https://github.com/tock/libtock-c/pull/427 https://github.com/tock/libtock-c/pull/428 https://github.com/tock/libtock-c/pull/430 https://github.com/tock/tock/pull/3992

...

From last week, we carry over:

- plans for a new release of the kernel - continue discussion of libtock-c release - better story for Rust userland development - reframing the core call + additional meetings

Finally, leftover from last week's PR rundown: https://github.com/tock/tock/pull/3549 _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org