mw.l 800000 0 10000

fdt addr ${fdt_addr}
fdt resize

fdt set /soc/ethernet@fff50000 dma-coherent
fdt set /soc/ethernet@fff51000 dma-coherent

#fdt rm /cpus/cpu@1
#fdt rm /cpus/cpu@2
#fdt rm /cpus/cpu@3

# Make some trouble for allocator...
#fdt rsvmem add 0x2ffe00000 0x1000
#fdt rsvmem add 0xde00000 0x1000

setenv xen_addr_r 0x01000000
#  kernel_addr_r=0x02000000
# ramdisk_addr_r=0x04000000

tftp ${xen_addr_r} /marilith-n0/xen-arm32
setenv bootargs "console=dtuart dtuart=/soc/serial@fff36000 dom0_mem=1G noreboot conswitch=x loglvl=all guest_loglvl_all"

fdt set /chosen/bootargs "${bootargs}"

fdt set /chosen \#address-cells <1>
fdt set /chosen \#size-cells <1>

tftp ${kernel_addr_r} /marilith-n0/vmlinuz-arm
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} 0x${filesize} >
fdt set /chosen/module@0 bootargs "console=hvc0 ro root=/dev/sda1 earlyprintk"

fdt print /chosen

printenv bootargs

bootz ${xen_addr_r} - ${fdt_addr}