TARGET_NAME="riscv64-sid"
DOCKERFILE="Dockerfile.riscv64.sid"

. ./build-common.sh