#!/bin/sh
export PICO_SDK_PATH=/usr/share/pico-sdk