Prebuilt Binaries: bitstreams, boot images, intermediate software components

[gsomlo]

Bitstream for nexys4ddr, trellisboard, ecpix5, and versa_ecp5:

• nexys4ddr.bit.gz
• trellisboard.svf.gz
• ecpix5.svf.gz
• versa_ecp5.svf.gz

Boot images for nexys4ddr, trellisboard, ecpix5, versa_ecp5, and Verilator-based simulation:

• boot.bin.nexys4ddr.gz
• boot.bin.trellisboard.gz
• boot.bin.ecpix5.gz
• boot.bin.versa_ecp5.gz
• boot.bin.sim.gz

Initial RAM filesystem image to be embedded into the Linux kernel during build (contains busybox binary and directory structure):

• initramfs.cpio.gz

NOTE: The resulting vmlinux kernel to be embedded into BBL (to obtain boot.bin) is currently too large (110M) to be allowed as an attachment here (even using xz compression, vmlinux.xz is 25M, which still exceeds the 10M limit). Sorry, for now you'll have to build this one on your own!

[troibe]

You could add your binaries to the releases tab. That's where I would search for them.
Afaik if you are using the releases tab you also don't have the size limitation for vmlinux.