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: