setenv kernel_addr_r 0x40080000
setenv fdt_addr 0x44000000
setenv xen_addr_r 0x45000000
ext4load mmc 0 ${kernel_addr_r} orangepi3/Image;
ext4load mmc 0 ${fdt_addr} orangepi3/sun50i-h6-orangepi-3.dtb;
ext4load mmc 0 ${xen_addr_r} orangepi3/xen.efi;
fdt addr ${fdt_addr} 0x40000
fdt resize
fdt chosen
fdt set /chosen \#address-cells <1>
fdt set /chosen \#size-cells <1>
fdt mknod /chosen module@0
fdt set /chosen/module@0 compatible "xen,linux-zimage" "xen,multiboot-module"
fdt set /chosen/module@0 reg <${kernel_addr_r} 0x02000000>
fdt set /chosen/module@0 bootargs "console=hvc0 ro root=/dev/mmcblk0p1 rootwait clk_ignore_unused"
setenv bootargs "console=dtuart dtuart=/soc/serial@5000000 root=/dev/mmcblk0p1 rootwait dom0_mem=128M"
booti ${xen_addr_r} - ${fdt_addr}