setenv dtb_addr_r 0x825f0000
setenv xen_addr_r 0x90000000
setenv kernel_addr_r 0xa0000000
setenv xen_bootargs 'sync_console console=dtuart dtuart=serial2'
setenv dom0_bootargs 'console=hvc0 earlyprintk=xen debug ignore_loglevel root=/dev/mmcblk0p2 rw rootwait fixrtc'
fatload mmc 0:1 $dtb_addr_r dra72-evm-lcd10.dtb
fatload mmc 0:1 $xen_addr_r xen-uImage
fatload mmc 0:1 $kernel_addr_r zImage
fdt addr $dtb_addr_r
fdt resize
fdt set /chosen xen,xen-bootargs \"$xen_bootargs\"
fdt resize
fdt set /chosen xen,dom0-bootargs \"$dom0_bootargs\"
fdt mknode /chosen modules
fdt set /chosen/modules \#address-cells <1>
fdt set /chosen/modules \#size-cells <1>
fdt mknode /chosen/modules module@0
fdt set /chosen/modules/module@0 compatible xen,linux-zimage xen,multiboot-module
fdt set /chosen/modules/module@0 reg <$kernel_addr_r 0xa00000>
bootm $xen_addr_r - $dtb_addr_r