Hi there.
If you mean the firmware for the FPGA driving the Avalon chips then no. You can only get the binary images you can upload to FPGA ... I think it is a Xilinx chip. The comment on the github repository states that they use propriety features in this image from the chip manufacturer. An open source version will be available in the future. Never the less, everything should work fine as long you have all the parts, equipment and software to upload the binary image.
Hope this helps.
Yes, it's the Xilinx I guess. I've been studying the Avalon datasheet and
there are some points that are rather vague. The HDL driving the ASICs
could help a lot to clarify things.
I don't own a Avalon device, just trying to figure out how to get
data to and from these chips. Clock rates are rather high (4 Mc
as it seems, even that is not 100% clear), might be rather hard
to connect them to a microprocessor.
Whish they had just picked a 1 Mc SPI link:)
intron