Raspberry Pi Pico Arduino core, for all RP2040 boards with Ethernet from https://github.com/WIZnet-ArduinoEthernet/arduino-pico - View it on GitHub