boot.source_s32g_sdhc_passthrough

fatload mmc 0:1 0x80400000 xen
fatload mmc 0:1 0x80600000 Image
fatload mmc 0:1 0x80E00000 fsl-image-base-s32g274aevb.cpio.gz
fatload mmc 0:1 0x84C00000 domU_Image
fatload mmc 0:1 0x85400000 domU_fsl-image-base-s32g274aevb.cpio.gz
fatload mmc 0:1 0x89200000 passthrough_sdhc_s32g274aevb.dtb
fatload mmc 0:1 0x89400000 fsl-s32g274a-evb.dtb
fdt addr 0x89400000
fdt resize
fdt set /chosen \#address-cells <0x2>
fdt set /chosen \#size-cells <0x2>
fdt set /chosen xen,xen-bootargs "console=ttyLF0 dom0_mem=512M dom0_max_vcpus=1 bootscrub=0 vwfi=native sched=null sync_console=true"
fdt mknod /chosen dom0
fdt set /chosen/dom0 compatible "xen,linux-zimage" "xen,multiboot-module"
fdt set /chosen/dom0 reg <0x0 0x80600000 0x0 6514696>
fdt set /chosen xen,dom0-bootargs "console=hvc0 earlycon=xen earlyprintk=xen root=/dev/ram0"
fdt mknod /chosen dom0-ramdisk
fdt set /chosen/dom0-ramdisk compatible "xen,linux-initrd" "xen,multiboot-module"
fdt set /chosen/dom0-ramdisk reg <0x0 0x80E00000 0x0 64575272>
fdt rm /chosen linux,initrd-start
fdt rm /chosen linux,initrd-end
fdt mknod /chosen domU0
fdt set /chosen/domU0 compatible "xen,domain"
fdt set /chosen/domU0 \#address-cells <0x2>
fdt set /chosen/domU0 \#size-cells <0x2>
fdt set /chosen/domU0 memory <0x0 0x80000>
fdt set /chosen/domU0 cpus <0x1>
fdt set /chosen/domU0 vpl011 <0x1>
fdt mknod /chosen/domU0 module0x84C00000
fdt set /chosen/domU0/module0x84C00000 compatible "multiboot,kernel" "multiboot,module"
fdt set /chosen/domU0/module0x84C00000 reg <0x0 0x84C00000 0x0 6514696>
fdt set /chosen/domU0/module0x84C00000 bootargs "console=ttyAMA0 root=/dev/ram0"
fdt mknod /chosen/domU0 module0x85400000
fdt set /chosen/domU0/module0x85400000 compatible "multiboot,ramdisk" "multiboot,module"
fdt set /chosen/domU0/module0x85400000 reg <0x0 0x85400000 0x0 64575272>
fdt mknod /chosen/domU0 module0x89200000
fdt set /chosen/domU0/module0x89200000 compatible "multiboot,device-tree" "multiboot,module"
fdt set /chosen/domU0/module0x89200000 reg <0x0 0x89200000 0x0 1101>
fdt set /chosen/domU0 direct-map <0x1>
fdt set /usdhc@402F0000 xen,passthrough
setenv fdt_high 0xffffffff
booti 0x80400000 - 0x89400000