devicetree_image=zynqmp-zcu100-revC.dtb
loadkernel=fatload mmc 0 ${kernel_load_address} ${kernel_image}
bootkernel=run loadkernel && run loaddtb && booti ${kernel_load_address} - ${devicetree_load_address}
kernel_load_address=0x80000
loaddtb=fatload mmc 0 ${devicetree_load_address} ${devicetree_image}
bootargs=earlycon clk_ignore_unused root=/dev/mmcblk0p2 rw rootwait
kernel_image=Image
devicetree_load_address=0x4000000
uenvcmd=run bootkernel
machine_name=ultra96-zynqmp
