Raspberry Pi Pico Series - Page 29

Ê Include all information
TARGET SELECTION:
Ê To target one or more connected RP2040 device(s) in BOOTSEL mode (the default)
Ê --bus <bus>
Ê Filter devices by USB bus number
Ê --address <addr>
Ê Filter devices by USB device address
Ê -f, --force
Ê Force a device not in BOOTSEL mode but running compatible code to reset so the
Ê command can be executed. After executing the command (unless the command itself is
Ê a 'reboot') the device will be rebooted back to application mode
Ê -F, --force-no-reboot
Ê Force a device not in BOOTSEL mode but running compatible code to reset so the
Ê command can be executed. After executing the command (unless the command itself is
Ê a 'reboot') the device will be left connected and accessible to picotool, but
Ê without the RPI-RP2 drive mounted
Ê To target a file
Ê <filename>
Ê The file name
Ê -t <type>
Ê Specify file type (uf2 | elf | bin) explicitly, ignoring file extension
For example, connect your Pico-series device to your computer as mass storage mode, by pressing and holding the
BOOTSEL button before plugging it into the USB. Then open up a Terminal window and type,
$ sudo picotool info
Program Information
Êname: hello_world
Êfeatures: stdout to UART
or,
$ sudo picotool info -a
Program Information
Êname: hello_world
Êfeatures: stdout to UART
Êbinary start: 0x10000000
Êbinary end: 0x1000606c
Fixed Pin Information
Ê20: UART1 TX
Ê21: UART1 RX
Build Information
Êbuild date: Dec 31 2020
Êbuild attributes: Debug build
Device Information
Êflash size: 2048K
ÊROM version: 2
for more information. Alternatively you can just get information on the pins used as follows,
Getting started with Raspberry Pi Pico-series
Using picotool 28