Header file for the PICOBOOT USB interface exposed by an RP2xxx chip in BOOTSEL mode.

Header file for the PICOBOOT USB interface exposed by an RP2xxx chip in BOOTSEL mode.