Hi Kamil, I don't think we have a roadmap per se, but we are excited when new STM32 boards are added to Tock. We have a new-ish PR adding another platform: https://github.com/tock/tock/pull/4695 In some sense perhaps the ubiquity and diversity of STM32s is also a challenge: which should we pick to prioritize? I think with a particularly intriguing hardware platform, a specific use case, or a specific chip that seems to be adopted by a number of users could be something we would want to focus on and try to have robust support for. Just my thoughts, -Brad On Mon, Jan 12, 2026 at 11:42 AM Kamil Duljas via Devel < devel@lists.tockos.org> wrote:

Hi, As a Rust enthusiast, I wanted to gain more experience by adding support for an STM32L4 board. It’s quite a popular board in Poland, with many tutorials on electronics blogs. At the same time, I’m wondering about the next steps for STM32 support in general. It’s a very popular vendor, and the wide range of boards definitely makes it easier to get started with Tock OS. Do you have any roadmap for STM32 boards or plans for supporting other platforms?

Best regards, Kamil Duljas _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org