[Tock Devel] Call for Tock Meeting Agenda Items

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