...
Or download and copy the default firmware bitfile for your RCE to <arch_linux_root>/boot/fpga.bit
For diskless DTMs, use a different filename than DPMs, like <arch_linux_root>/boot/fpga_dtm.bit
wget http://www.slac.stanford.edu/projects/CTK/SDK/fpga.dpm.bit
...
For non-eFUSE RCEs, make note of the ethaddr variable for later restoration.
Reset Apply the default u-boot environment:
...
zynq-uboot> setenv bootdelay 3
DTM Firmware FPGA Bitfile
DTMs use different firmware bit files than DPMs.
The default filename of fpga.bit must be updated to reflect the name of the DTM file located in <arch_linux_root>/boot.
In this example, the DTM firmware bitfile is named fpga_dtm.bit
zynq-uboot> setenv nfsfpga 'nfs 0x1000000 ${rootpath}/boot/fpga_dtm.bit && fpga loadb 0 0x1000000 ${filesize}'
Save the environment and reset:
zynq-uboot> saveenv
Saving Environment to FAT...
writing uboot.env
done
zynq-uboot> reset
resetting ...
...