// Stub — pico_deps collects pico-sdk INTERFACE sources into one static lib.