Docker container based on Ubuntu 16.04 LTS containing various hardware and software development tools for OpenTitan. Current list of tools:
The versions of the above should match the versions installed in CI.
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 .
To run container in interactive mode:
$ docker run -it -v ${REPO_TOP}:/repo -w /repo opentitan --user $(id -u):$(id -g)
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.