On the Pico itself? Unsure. But Arduino is already set to release a Nano version with the RP2040 and 16 MB of flash [1], so it's probably not crazy hard :) [1]

On the Pico itself? Unsure. But Arduino is already set to release a Nano version with the RP2040 and 16 MB of flash [1], so it's probably not crazy hard :) [1] https://blog.arduino.cc/2021/01/20/welcome-raspberry-pi-to-the-world-of-microcontrollers/ https://blog.arduino.cc/2021/01/20/welcome-raspberry-pi-to-t...