The official Arduino Core not only supports the Arduino Nano RP2040 Connect, but also the Raspberry Pi Pico and other boards based on the RP2040 chip.