klipper/lib/rp2040/boot
..
picoboot.h
uf2.h