Comprehensive getting started information is available via the raspberry pi website]. The RPi foundation documentation is based on the development host (where you develop code) being a raspberry pi.
This is a brief introduction to C programming on the Pi Pico Micro Controller in the C language from Linux workstation. The ARM cross compilers and libraries are also needed to compile and link ...