Moving to a RTOS on the RP2040