@thomas Yep you should try NuttX on RP2040 🙂
https://www.hackster.io/news/the-raspberry-pi-pico-and-rp2040-get-full-dual-core-smp-support-in-apache-s-nuttx-rtos-port-7ab07a04060c
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.