Configure FPGA from LINUX


#1

I use linux kernel version 4.1.22.

I’d like to configure FPGA from LINUX.

In the previous version you could configure it using / dev / fpga 0.
Is there a function equivalent to that?
I think that devicetree-overlay is equivalent, but I do not know how to use it.
I want detailed explanation materials.
I referred here, but I could not understand.


#2

On A DE10 board with kernel 4 we use the following linux commands (caled form python but you can use bash or what you like
ssh.exec_command(“mkdir -p sdcard”)
ssh.exec_command(“mount /dev/mmcblk0p1 sdcard/”)
ssh.exec_command(“rm sdcard/Optimus_top_A10.core.rbf”)
ssh.exec_command(“rm sdcard/Optimus_top_A10.periph.rbf”)
ftp = ssh.open_sftp()
ftp.put(’…/Optimus/synth/Arria10_SOC/output_files/Optimus_top_A10.core.rbf’, ‘sdcard/Optimus_top_A10.core.rbf’)