Raspberry Pi Pico Series - Pins; Full Information

•
build attributes, this is a similar list of strings, for things pertaining to the binary itself (e.g. Debug Build)
Pins
This is certainly handy when you have an executable called hello_serial.elf but you forgot what Raspberry Pi
microcontroller-based board it was built for, as different boards may have different pins broken out.
Static (fixed) pin assignments can be recorded in the binary in very compact form:
$ picotool info --pins sprite_demo.elf
File sprite_demo.elf:
Fixed Pin Information
0-4: Red 0-4
6-10: Green 0-4
11-15: Blue 0-4
16: HSync
17: VSync
18: Display Enable
19: Pixel Clock
20: UART1 TX
21: UART1 RX
Full Information
Full information is available with the -a option:
$ picotool info -a i2c_bus_scan.elf
File i2c_bus_scan.elf:
Program Information
Êname: i2c_bus_scan
Êweb site: https://github.com/raspberrypi/pico-examples/tree/HEAD/i2c/bus_scan
Êfeatures: UART stdin / stdout
Êbinary start: 0x10000000
Êbinary end: 0x10004c74
Fixed Pin Information
Ê0: UART0 TX
Ê1: UART0 RX
Ê4: I2C0 SDA
Ê5: I2C0 SCL
Build Information
Êsdk version: 2.0.0-develop
Êpico_board: pico
Êbuild date: Aug 1 2024
Êbuild attributes: Debug
Getting started with Raspberry Pi Pico-series
Using picotool 31