Bootable SD card for Zedboard.
machine_name=zedboard-zynq7 kernel_image=uImage kernel_load_address=0x2080000 devicetree_image=zynq-zed.dtb devicetree_load_address=0x2000000 bootargs=earlyprintk console=ttyPS0,115200 root=/dev/mmcblk0p2 rw rootwait loadkernel=fatload mmc 0 ${kernel_load_address} ${kernel_image} loaddtb=fatload mmc 0 ${devicetree_load_address} ${devicetree_image} bootkernel=run loadkernel && run loaddtb && bootm ${kernel_load_address} - ${devicetree_load_address} uenvcmd=run bootkernel