machine_name=zynqmp-generic
kernel_image=Image
kernel_load_address=0x200000
devicetree_image=system-top.dtb
devicetree_load_address=0x4000000
bootargs=earlycon clk_ignore_unused root=/dev/mmcblk${devnum}p2 rw rootwait
loadkernel=fatload mmc ${devnum} ${kernel_load_address} ${kernel_image}
loaddtb=fatload mmc  ${devnum} ${devicetree_load_address} ${devicetree_image}
bootkernel=setenv bootargs earlycon clk_ignore_unused root=/dev/mmcblk${devnum}p2 rw rootwait ; run loadkernel && run loaddtb && booti ${kernel_load_address} - ${devicetree_load_address}
uenvcmd=run bootkernel
