Mapped address of the AMD/Xilinx KU060 FPGA. The .SREC data should be loaded to the external SPI memory. Note that the .SREC file is configured to be loaded at address 0x13D00000. In casa a different address should be used, one can use objcopy to update the address.

