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

source ./build-common.sh