When AMR code runs it loads the executable program via a bootloader from the SD card. The bootloader code runs from ROM on the FPGA.
SD Card Image
The SD Card contains a single image, boot.sre . This image is loaded by the bootkiader when the card is powered on (or reset) and run automatically.
The image is an S record.