dump firmware for from 0x0 ~ 0x4000

this is how you can dump first 16Kbytes

based on this docs, its feel intresting look inside about rom

image

let's dump it

openocd

this tutorial uses secondary pico, which connected with other pico's

openocd -f interface/cmsis-dap.cfg -f target/rp2040.cfg -c "adapter speed 5000"

after it

telnet localhost 4444
> halt
> dump_image pico_first_16kb_bootloader.bin 0x0 0x4000

show the binary

arm-none-eabi-objdump -D -b binary -marm -Mforce-thumb ./pico_first_16kb_bootloader.bin

image

another way

let's use GDB stuff, first download this, run as regular gdb debug mode + openocd. then dump

image

here the intresting part

image

which part of https://github.com/raspberrypi/pico-bootrom-rp2040/blob/ef22cd8ede5bc007f81d7f2416b48db90f313434/bootrom/bootrom_rt0.S#L48