kernel_load_address=0x2080000
bootkernel=run loadkernel && run loaddtb && bootz ${kernel_load_address} - ${devicetree_load_address}
machine_name=zc702-zynq7
loadkernel=fatload mmc 0 ${kernel_load_address} ${kernel_image}
uenvcmd=run bootkernel
devicetree_image=zynq-zc702.dtb
bootargs=earlyprintk console=ttyPS0,115200 root=/dev/mmcblk0p2 rw rootwait
loaddtb=fatload mmc 0 ${devicetree_load_address} ${devicetree_image}
devicetree_load_address=0x2000000
kernel_image=zImage
