Updating the .bit image on the SD memory card

The .bit image on the SD memory card can be updated using a Unix "scp" command:

$ scp $TARGET_PATH root@$IP_ADDRESS:/mnt/boot/fpga.bit

Where $TARGET_PATH is the path to the new .bit file that you want to upload into the SD memory card and $IP_ADDRESS is the IP address of the RCE that you want to update.