machine_name=vck-sc-zynqmp
kernel_image=Image
kernel_load_address=0x200000
devicetree_image=system.dtb
devicetree_load_address=0x4000000
devicetree_overlay_load_address=0x4f00000
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}
loaddtbo=if test -e mmc ${devnum} /devicetree/openamp.dtbo; then fatload mmc ${devnum} ${devicetree_overlay_load_address} /devicetree/openamp.dtbo ; fdt addr ${devicetree_load_address} ; fdt resize 8192 ; fdt apply ${devicetree_overlay_load_address} ; fi
bootkernel=setenv bootargs earlycon clk_ignore_unused root=/dev/mmcblk${devnum}p2 rw rootwait ; run loadkernel && run loaddtb && run loaddtbo && booti ${kernel_load_address} - ${devicetree_load_address}
uenvcmd=run bootkernel