+ "sdboot=echo Booting from SD...;" \
+ " run envload; run fpgaboot;" \
+ " fatload mmc 0 0x1000000 ${kernel_image}" \
-+ " && fatload mmc 0 0x2000000 ${ramdisk_image}" \
-+ " && fatload mmc 0 0x3000000 ${devicetree_image}" \
-+ " && bootm 0x1000000 0x2000000 0x3000000\0" \
++ " && fatload mmc 0 0x3000000 ${ramdisk_image}" \
++ " && fatload mmc 0 0x2000000 ${devicetree_image}" \
++ " && bootm 0x1000000 0x3000000 0x2000000\0" \
+ "fpgaboot=if fatload mmc 0 0x1000000 ${fpga_image};" \
+ " then echo Booting FPGA from ${fpga_image};" \
+ " fpga info 0 && fpga loadb 0 0x1000000 $filesize;" \
index 946de95..2400a88 100644
--- a/include/configs/zynq_zed.h
+++ b/include/configs/zynq_zed.h
-@@ -24,4 +24,28 @@
+@@ -24,0 +24,0 @@
#include <configs/zynq-common.h>
+ "fpga_image=system.bit\0" \
+ "sdboot=echo Booting from SD...; run fpgaboot;" \
+ " fatload mmc 0 0x1000000 ${kernel_image}" \
-+ " && fatload mmc 0 0x2000000 ${ramdisk_image}" \
-+ " && fatload mmc 0 0x3000000 ${devicetree_image}" \
-+ " && bootm 0x1000000 0x2000000 0x3000000\0" \
++ " && fatload mmc 0 0x3000000 ${ramdisk_image}" \
++ " && fatload mmc 0 0x2000000 ${devicetree_image}" \
++ " && bootm 0x1000000 0x3000000 0x2000000\0" \
+ "fpgaboot=if fatload mmc 0 0x1000000 ${fpga_image};" \
+ " then echo Booting FPGA from ${fpga_image};" \
+ " fpga info 0 && fpga loadb 0 0x1000000 $filesize;" \