Unfortunately, the support for this board is something left to be desired. As of now there is no tool to flash the BIOS at the Terasic resource section for this board. The website of the BIOS manufacturer Byosoft lists a tool called Byoflash but its not available for download either.
