Replacing socfpga.rbf with my hello world file does what I expect it to (displays a binary counter on the LEDS), however u-boot does not proceed beyond flashing the FPGA.
Replacing socfpga.rbf with my hello world file does what I expect it to (displays a binary counter on the LEDS), however u-boot does not proceed beyond flashing the FPGA.