But there are some points the user needs to download WIZnet Arduino Ethernet and change the default library to use.
So, I've decided that I would make an Arduino-Pico includes WIZnet Arduino Ethernet as default.
Maybe it is unnecessary if the default Arduino Ethernet Library supports the W5100S. But it doesn't support the W5100S until now.
There are two repositories on GitHub. The main working repository URL is 'WIZnet-ArduinoEthernet/arduino-pico'.
Version 1.0.0 of release is based on 'earlephilhower/arduino-pico' commit@6cb2bf.
You can add the URL in the "Additional Boards Manager URLs" field and search pico or ethernet in Board Manager to add.
Then, you can choose the Board WIZnet W5100S-EVB-Pico.
There are default examples of Ethernet for W5100S-EVB-Pico.
Let's choose the DhcpAddressPrinter.
You should uncomment to set nCS for W5100S-EVB-Pico.
And Upload to W5100S-EVB-Pico. Maybe it is necessary to enter boot mode.
Then run a Serial Monitor.
You can see the allocated IP address.
Also, other boards can use a default ethernet library.
Thank you for reading this.