from docker.io/library/debian:sid

run apt-get update

# packages (in separate steps to optimize caching)
run apt-get install -y gcc-arm-linux-gnueabi
run apt-get install -y gcc
run apt-get install -y make
run apt-get install -y git

# container directory on which the working directory on host is mounted
workdir /workdir