I’ll try my best to help you, but I’m not the best at explaining stuff.
What you said about putting the rbf file in the FAT partition is correct, suposing that the sdcard image is attempting to load that file.
There are basicaly 4 ways to load the bitstream to the fpga, programming it with JTAG (very nice for development), use the EPCS like other fpga boards, use the U-Boot to load or use the linux FPGA Manager.
Now, I understand that you want to use the U-Boot or the FPGA Manager, correct?
Assuming that you want to use the U-Boot, you will need to understand the structure of your sdcard (basicaly know the partition order)
First you will need to interrupt the boot by pressing any key when prompted by U-Boot
After that you should be able to use the console.
Now you should run the following commands: (I’m assuming that the file is in the root of the partition ant that the partition is number 2, please change the partition and add the path to the rbf file to your configuration)
1)set a variable with the rbf file name
setenv fpgafile
2)check if you can locate the file in the partition (if it fails stop and check the file path and partition number)
if test -e mmc 0:2 ${fpgafile}; then echo “OK”; else echo “File not Found”; fi;
3)load the rbf file
load mmc 0:2 ${fpgadata} ${fpgafile}
4)program the fpga
fpga load 0 ${fpgadata} ${filesize}
5)enable fpga bridges
bridge enable
If you want to configure the FPGA using the FPGA manager, you will need to rebuild the kernel and make sure that the option to configure the fpga using devicetree overlays, create a simple devicetre overlay file and load it using the fpga manager structure (I’ll try to write a better description or make a video, but the process is a bit long)
Best regards,
Rafael Villatore