I picked up some Pi Picos, because well, bang per buck they are looking good - fairly powerful, very cheap.
I'm a Linux user. I tend to do my simpler embedded development under the Arduino IDE. Well, the Pi Picos have Arduino IDE support, so great...
But, life was not quite that simple. I went with the 'official' Pico MBED tool set as found in the IDE installation options.
But when I tried to load a sketch, it errored out. The rp2040load
command failed.