I just forked the Circuitpython fountain. By tapping the directories, I saw that there is a folder with the settings for the Xiao Seeeduino RP2040 (circuitpython/ports/raspberrypi/boards at main · adafruit/circuitpython · GitHub), but there is no download of the firmware already compiled to the board. I’m following the tutorial steps in Introduction | Building CircuitPython | Adafruit Learning System and maybe I can compile a specific firmware. As soon as possible, put it here.