The bitstream file that can be uploaded to the FPGA is named hardware.bin
and will boot directly into the UART bootloader.
All other files are included for completeness. This designed was flowed to a T_max of 38ns, over twice the board required F_clk.