SCIOPTA System supports now the Raspberry PI Pico with its FuSA RTOS. The message passing paradigm of SCIOPTA eases designing C/C++ applications for the dual core Cortex-M0 of the RP2040.
SCIOPTA provides drivers to use the WIFI chip to be found on the PicoW board to enable its IPv4/IPv6 stack. The SCIOPTA RTOS itself is certified according to IEC61508 SIL3, EN 50128 SIL3/4 and ISO 26262 ASIL D. SCIOPTA is royalty free and supports the Pico SDK with GCC and also IAR tools.