This is the tool for flashing and configuring the HDMI2USB devices.

It can load a runtime firmware, and write firmware to the device's flash.

https://hdmi2usb.tv/ is an open hardware and software project for capturing HDMI video with an FPGA board. This package supports the Digilent Atlys and Numato Opsis boards.