hostmot2 firmware for Altera and Xilinx SoC/FPGA platforms, works with the Machinekit hm2_soc_ol driver.
# see https://github.com/cdsteinkuehler/QuartusBuildVMs
docker pull cdsteinkuehler/jessie-quartus-15.1.2
git clone https://github.com/machinekit/mksocfpga.git/
cd mksocfpga
docker run -itv $(pwd):/work cdsteinkuehler/jessie-quartus-15.1.2 /work/build.quartus.sh
build docker images from https://github.com/dkhughes/vivado-docker.
docker run -itv $(pwd):/work <maintainer>/jessie-vivado-2015.4 /work/build.vivado.sh
repo: http://deb.machinekit.io/debian jessie main
CycloneV: apt install socfpga-rbf
Zynq: apt install socfpga-rbf