The firmware released here includes a binary/hex file of the compiled firmware. A program called XLoader can be used to flash your board with this binary file. Instructions can be found here.