Thanks for the warning. Even though I won't be using an RPi, I still intend to use the I2C SCL/SDA lines from the RPi header to access a custom I2C block on my verilog design. But I might instead use one of the PMOD headers. I think I have enough op…
Okay - worked it out. An MCS file must be created from the bit file, and downloaded to the flash. The main links for reference are:
https://www.xilinx.com/support/documentation/sw_manuals/xilinx11/pim_p_creating_prom_file_spi_single.htm
https://ww…