Tools to build FPGA images using the Xilinx toolchain