/lib/pico-sdk/boot/