Dockerized FPGA toolchains containing openxc7, f4pga, vivado and more - View it on GitHub