/circuitpython/ports/raspberrypi/build-raspberry_pi_pico/lib/