Intel® FPGA SDK for OpenCL™: Intel® Arria® 10 SoC Development Kit Reference Platform Porting Guide

ID 683788
Date 10/08/2019
Document Table of Contents

3.4. Generating Full-Chip Programming File for SD Card Image

The full-chip programming file, socfpga.rbf, is in RBF (Raw Binary File) format, and stored in Partition 1 of the SD Card Image.

This .rbf file is used to program the Intel® Arria® 10 SoC FPGA during power up.

Follow one of the following methods to generate the socfpga.rbf file in a directory containing an aocx file for your Intel® Arria® 10 SoC custom platform:

  • If your aocx file is compiled with flat or base revision, execute the following commands:
    aocl binedit <.aocx> get .acl.fpga.bin .temp.fpga.bin
    aocl binedit .temp.fpga.bin get .acl.sof .temp.sof
    sof2flash --offset=0 --input="./.temp.sof" --output="./.temp_sof2rbf.flash"
    nios2-elf-objcopy -I srec -O binary "./.temp_sof2rbf.flash" "./socfpga.rbf"
    rm .temp.fpga.bin .temp.sof .temp_sof2rbf.flash
  • If your aocx file is compiled with top revision, go to the working directory of this aocx kernel and execute the following commands:
    sof2flash --offset=0 --input="./top.sof" --output="./.temp_sof2rbf.flash"
    nios2-elf-objcopy -I srec -O binary "./.temp_sof2rbf.flash" "./socfpga.rbf"
    rm .temp_sof2rbf.flash

After generating the socfpga.rbf file, place it in FAT32 partition of the flash card image.

Remember: The full-chip programming RBF file is different from the partial reconfiguration RBF file generated during PR import compile.