You are going to be very interested in Hubris, our de novo Rust operating system for MCUs.[0] We have been doing most of our development on STM32H7s, but Hubris works on both the F3 and F4 as well. We'll be open sourcing it in advance of my colleague Cliff Biffle's presentation at the Open Source Firmware Conference[1]; stay tuned!
What's your main distinguishing point compared to Pock OS?
I've googled "Pock OS" in every configuration I can think of, and can't find any relevant results. Closest I can find is "POK kernel"... is this a typo or am I googling wrong?
It's a typo, they mean "Tock OS"