A default firmware image is embedded in the bootloader file boot.bin and can only be changed by updating the RCE system files core software.
The user controlled RCE firmware resides on the boot partition in a file named fpga.bit.
To change the user firmware, transfer your firmware bitfile to /mnt/boot and rename as fpga.bit.
To switch between the default firmware and the user firmware, reboot the RCE with the correct bitload option
...
Note, this behavior will be maintained across all subsequent reboots.
...
In the event that the firmware image is incorrect or corrupted, and the RCE will not boot properly:
1. Recover the correct bitfile using the bootloader
-or-
2. Enable the default firmware image using the bootloader shell by reseting the bootloader environment (eFUSE RCE only):
zynq-uboot> env default -azynq-uboot> saveenvzynq-uboot> reset