FreeRTOS SMP on RP2040 and RP2350: Raspberry Pi's port, CMake import and known limitsguide · unverified · Raspberry Pi's FreeRTOS-Kernel fork provides SMP ports for RP2040 and RP2350 that run tasks on either or both cores and interoperate with Pico SDK synchronisation primitives. Tickless idle is untested on the RP2040 port, and a single-core app is likely better served by the non-SMP kernel.