Now the folks at Adafruit have released the official firmware. The link is this one: seeeduino_xiao_rp2040 Download