Contains a firmware for the Raspberry Pi Pico to use it as a debugger.
Raspberry Pi Pico has a BOOTSEL mode for programming firmware over the USB port. Holding the BOOTSEL button when powering up your board will put it into a special mode where it appears as a USB Mass Storage Device. First make sure your Raspberry Pi Pico is not plugged into any source of power: disconnect the micro USB cable if plugged in, and disconnect any other wires that might be providing power to the board, e.g through the VSYS o VBUS pin. Now hold down the BOOTSEL button, and plug in the micro USB cable (which hopefully has the other end plugged into your computer).
A drive called RPI-RP2 should pop up. Go ahead and drag the desired *.uf2
file onto this drive. This programs the firmware onto the flash memory on your Raspberry Pi Pico. It should take a few seconds to program the UF2 file into the flash. The board will automatically reboot when finished, causing the RPI-RP2 drive to disappear.
Note: If you are not following these instructions on a Raspberry Pi Pico, you may not have a BOOTSEL button. If this is the case, you should check if there is some other way of grounding the flash CS pin, such as a jumper, to tell RP2040 to enter the BOOTSEL mode on boot. If there is no such method, you can load code using the Serial Wire Debug interface.
Newer Bootloaders can be found on: https://micropython.org/download/RPI_PICO/