mmc info fatls mmc 0:1 fatload mmc 0:1 0xa000000 xen fatload mmc 0:1 0x8000000 devicetree/socfpga_agilex7_vanilla.dtb fatload mmc 0:1 0x3000000 Image setenv xen_bootargs 'dom0_mem=2048M' fdt addr 0x8000000 fdt resize fdt rm /soc/ethernet@ff802000 \iommus fdt rm /soc/ethernet@ff804000 \iommus fdt set /chosen \#address-cells <1> fdt set /chosen \#size-cells <1> fdt set /chosen \xen,xen-bootargs "console=dtuart dtuart=serial0 $xen_bootargs bootscrub=0 log_level=debug dom0_max_vcpus=2 dom0_vcpus_pin watchdog_timeout=0 timer_slop=0 iommu=verbose iommu=debug " fdt set /chosen \xen,dom0-bootargs "rdinit=/bin/sh console=hvc0 earlycon=xen earlyprintk=xen root=/dev/mmcblk0p2 rw rootwait " fdt mknod /chosen dom0 fdt set /chosen/dom0 compatible "multiboot,kernel" "multiboot,module" fdt set /chosen/dom0 reg <0x3000000 0x${filesize}> fdt mknod /chosen dom1 fdt set /chosen/dom1 compatible "multiboot,ramdisk" "multiboot,module" fdt set /chosen/dom1 reg <0xb000000 0x8000000> fdt set /soc/ethernet@ff800000 \iommus <9 0x401> fdt set /soc/mmc@ff808000 \iommus <9 0x805> fdt set /soc/usb@ffb00000 \iommus <9 0x806> fdt rm /soc/usb@ffb40000 \iommus fdt set /soc/usb@ffb40000 status "disabled" fdt rm /soc/iommu@fa000000 \interrupts fdt set /soc/iommu@fa000000 \interrupts <0x00 0x80 0x04 0x00 0x81 0x04 0x00 0x8a 0x04 0x00 0x8b 0x04 0x00 0x8c 0x04 0x00 0x8d 0x04 0x00 0x8e 0x04 0x00 0x8f 0x04 0x00 0x90 0x04 0x00 0x91 0x04 0x00 0x92 0x04 0x00 0x93 0x04 0x00 0x94 0x04 0x00 0x95 0x04 0x00 0x96 0x04 0x00 0x97 0x04 0x00 0x98 0x04 0x00 0x99 0x04> fdt set /soc/iommu@fa000000 status "okay" echo "Device tree updated for Xen Hypervisor." echo "Device tree load address - 0x8000000" echo "Kernel Image load address - 0x3000000" echo "Xen image load address - 0xa000000" echo "Run 'booti 0x0a000000 - 0x08000000' command to load Xen Hypervisor"