Docker Container

Docker container based on Ubuntu 18.04 LTS containing various hardware and software development tools for OpenTitan, as listed in the OpenTitan documentation.

Local Build Instructions

Skip this step if planning to use the pre-built container. To build in local mode:

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

Using the Container

To run container in interactive mode:

$ docker run -it -v $REPO_TOP:/repo -w /repo opentitan --user $(id -u):$(id -g)

Pre-built Container

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

$ docker pull gcr.io/opentitan/hw_dev

Use gcr.io/opentitan/hw_dev as the container name in any Docker commands.