Docker image for Xilinx PetaLinux &Vivado tools 2017.4 with PYNQ dev support

Versions

• PetaLinux version: 2017.4
• Vivado version:2017.4
• Base image: Ubuntu:16.04
• based on the projects:
  • https://github.com/xaljer/petalinux-docker
  • https://github.com/BBN-Q/vivado-docker

Build image

You can use build-image.sh to build the image, which set up a HTTP server using python on where PetaLinux & vivado tools installer is, and do docker build to build image. The first parameter of this script is the directory of PetaLinux & vivado installer.

There are two build-arg in the Dockerfile, one is installer_url, which is set by build-image.sh using IP of docker network bridge, another is install_dir, which is /opt by default.

If you want a small image, petalinux & vivado can be installed in a container with install_dir in a data volume. The image can be gen use "docker commit"

PYNQ dev

If you want to build PYNQ sd image, you must run the docker container in privileged mode.

More help

• More details for the Dockerfile and build process are recorded in xaljer blog, which is written in Chinese.

PetaLinux reference

ug1144-petalinux-tools-reference-guide