/config/pico-sdk/patches/