Skip to content

Docker Container

Docker container based on Ubuntu 18.04 LTS containing various hardware and software development tools for Snitch.

Pre-built Container

There is an experimental version of the container available. To download, run:

$ docker pull

Using the Container

To run container in interactive mode:

$ docker run -it -v $REPO_TOP:/repo -w /repo

Local Build Instructions

In case you do not want to use the pre-built container you can also build the container in local mode:

$ cd $REPO_TOP
$ sudo docker build -t -f util/container/Dockerfile .


Some operations require more memory than the default Docker VM might provide by default (2 GB on OS X for example). We recommend at least 16 GB of memory.

The memory resources can be adjusted in the Docker daemon's settings.

The swap space is limited to 4 GB in OS X default VM image. It doesn't seem as this is enough for using verilator, cc keeps crashing because it runs out of swap space (at least that is what dmesg tells us). Also 8 GB of swap space don't seem to be enough.

dd if=/dev/zero of=/var/lib/swap bs=1k count=8388608
chmod go= /var/lib/swap && mkswap /var/lib/swap
swapon -v /var/lib/swap