boot_microZed=mmcinfo;fatload mmc 0 0x3000000 ${kernel_image}; fatload mmc 0 0x2FF0000 ${devicetree_image}; fatload mmc 0 0x2000000 ${ramdisk_image}; bootm 0x3000000 0x2000000 0x2FF0000
uenvcmd=run boot_microZed
uenv_boot=run boot_microZed
