Raspberry Pi Pico User Manual

$ 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,
$ sudo picotool info -bp
Program Information
Êname: hello_world
Êfeatures: stdout to UART
Fixed Pin Information
Ê20: UART1 TX
Ê21: UART1 RX
The tool can also be used on binaries still on your local filesystem,
$ picotool info -a lcd_1602_i2c.uf2
File lcd_1602_i2c.uf2:
Program Information
Êname: lcd_1602_i2c
Êweb site: https://github.com/raspberrypi/pico-examples/tree/HEAD/i2c/lcd_1602_i2c
Êbinary start: 0x10000000
Êbinary end: 0x10003c1c
Fixed Pin Information
Ê4: I2C0 SDA
Ê5: I2C0 SCL
Build Information
Êbuild date: Dec 31 2020
Getting started with Raspberry Pi Pico
Using picotool 68

Raspberry Pi Pico Specifications

General

Microcontroller	RP2040
Clock Speed	133 MHz
SRAM	264 KB
Flash Memory	2 MB
GPIO Pins	26
Operating Temperature	-20°C to +85°C
Architecture	ARM Cortex-M0+ (dual-core)
Interfaces	I2C, SPI, UART, PWM
Operating Voltage	1.8–5.5 V
Dimensions	51 mm × 21 mm