We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
File > Preferences > Additional boards manager URLs
Tools > Board > Boards Manager
Raspberry Pi Pico/RP2040 by Earle F. Philhower, III