@neauoire I recently developed an RP2040 firmware (pretty good size, too) in MicroPython, then eventually ported the finished result to the C SDK. Partly for iterative ease, partly to see if I could get away with performance and feature set (very nearly).