W5100S-EVB-PICO stepgenerator and encoder driver

When I open this link: developer.arm.com/downloads/-/gnu-rm , it says: This page is deprecated. See Arm GNU Toolchain for updated content and latest releases. Arm GNU Toolchain.
If I follow Arm GNU Toolchain, many download options appear. Which one should I download?
The truth is, I have little experience doing this type of installation from scratch, and it seems like what you've written on your Github is for experts. I don't know if there's a way to do all these processes automatically with bash.

Precompiled .uf2 in the repository binary directory, you not need to rebuild the project if you want to use

The hal driver installation is easy, you need to open terminal navigate to the hal-driver directory and run ./install.sh

Sample hal configuration in the hal-driver/test_config directory

!UPDATE!
the default settings in the code makes the:
4 stepgenerator (up to 512 Khz in 1ms servo thread)
2 quadrature encoder counter (example: 1 for spindle encoder 1 for MPG)
3 digital outputs
1 pwm output (from 1.9Khz - 1Mhz varies from 7bit to 16bit resolution, depends of the frequency)
4 digital inputs

docs how to change this is in progress

What is the bianari file for the normal RP pico?

stepper-ninja-W5500 or stepper-ninja-W5500S

the stepper-ninja-w5500.uf2 is the file you need if you make like this.

the pico only is not enough, you need a w5500 module also, or a W5100S-EVB-PICO