vivado-docker Vivado installed into a Docker image Build instructions See Dockerfile Running See Dockerfile