Tools, Libraries and OSs for Embedded Systems

Operating Systems

FreeRTOS
Apache NuttX

Light-weight Threads and Thread-alternatives

Protothreads

Platform-specific

Raspberry Pi Pico (RP2040)

youtube.com/watch?v=jCZxStjzGA8
forums.freertos.org/t/freertos-on-pi-pico-2040/12135
lochnerweb.de/freertos-on-raspberry-pi-pico
seeedstudio.com/blog/2021/02/05/rust-rt-thread-os-freertos-come-to-the-raspberry-pi-pico
hackster.io/news/symmetric-multiprocessing-branch-of-freertos-gets-ported-to-the-raspberry-pi-pico-rp2040-7709ab0333d2