Firmware and software for uploading a bitstream to iCE40 FPGA boards - View it on GitHub