I’ve not tried that, but what I do is copy the rbf file over to the SDcard with the scp command running under cygwin on my PC (comes with the SoCEDS). I copy the file into the /media/FAT directory on the DE10-nano board, once Linux is booted and I have an ethernet connection to the board. You could also plug the SD card into your PC and copy it over directly onto the FAT partition.
When the bootloader runs on the de10 board, by default it will load the .rbf file. So rebooting Linux will cause it to load the new FPGA file.
What sequence of steps are you trying to accomplish after getting the rbf file loaded onto the SD card – do you want to program the FPGA right away, or can you tolerate a Linux reboot? There may be a Linux utility to program the FPGA file, but I am not aware of one currently.
We use the “dd” method as you described in the beginning of this thread on Cyclone V. To do this we use kernel 3.10 since this method was obsoleted in kernel 4.x. I believe that in kernel 4.x you must use the overlay method as you’ve mentioned already. For your store of semi-worthless knowledge we use kernel 3.10 on Cyclone V devices and Kernel 4.1 on Arria 10 devices. We’re still rebooting to load RBF files on the Arria 10 devices so I won’t be of much further help. In any case the kernel 3.10 and included drivers are pretty solid for the Cyclone V devices as they have been around for a while. We’ve shipped thousands of units with that configuration. I hope this was helpful. Cheers!
I’ve been planning on getting to the device overlay method but just haven’t yet made the time. Below is a very sloppy cut-n-paste dump of a text file with some notes I’ve collected while briefly looking into it (rocketboards, etc). Maybe something here will be helpful as well.
----------- pasted below ------
Early IO release
Programming from Linux using Device Tree Overlays
I solved the issue myself. The approach to use Device Trees and programming the
FPGA under Linux has changed fundamentally. There is no /dev/fpga0 device anymore.
Instead, Linux uses Device Tree Overlays now. See the WS2 Linux Kernel Introdution
lab for examples.
The Device Tree Overlay as well as the FPGA RBF file have to reside in /lib/firmware.
To load the overlay, mount the configfs filesystem and create a new directory in the overlay subfolder:
mount -t configfs configfs /config
Then write the name of your Device Tree Overlay file to a file with name “path”: