Vivado and Petalinux installed into a docker image for CI purposes.

1. This docker file assumes the Vivado and Petalinux download are available on a webserver somewhere. This can easily be the build machine using the webserver in Python.

   cd /path/to/Vivado/download
   python -m http.server

2. Copy your Vivado Xilinx.lic file into the directory.
3. Potentialy modify the install_config.txt to change the install options.
4. Build the image (will take about 10 minutes) passing in a build arg

   docker build --build-arg VIVADO_TAR_HOST=192.168.1.219:8000 --build-arg VIVADO_TAR_FILE=Xilinx_Unified_2022.2_1014_8888 -t xilinx:2022.2 --build-arg VIVADO_VERSION=2022.2 --build-arg PETALINUX_VERSION=10141622 .

The Dockerfile sets up a vivado user to avoid running as root. I have only considered running Vivado in batch mode for running CI simulations and building bit files. For development work with the GUI you may have to fiddle with X11 settings.