machine_name=zynqmp-generic
kernel_image=Image
kernel_load_address=0x80000
devicetree_image=zynqmp-zcu102-rev1.0.dtb
devicetree_load_address=0x4000000
bootargs=earlycon clk_ignore_unused 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 && booti ${kernel_load_address} - ${devicetree_load_address}
uenvcmd=run bootkernel
