Talk:Xen ARM with Virtualization Extensions/Arndale

unorganized stuff/thought about the arndale and the chromebook

u-boot env

getting xen from the network

 ipaddr=10.y.y.y
 ipconfig=10.y.y.y
 kernel_addr_r=0x40007000
 serverip=10.x.x.x
 tftp_path=10.x.x.x:pxelinux.cfg
 usbethaddr=00:40:5c:26:0a:5b
 ethaddr=00:40:5c:26:0a:5b
 xen_addr_r=0x50000000
 bootcmd_load_linux=tftpboot 0x40007000 10.80.3.61:pxelinux.cfg/linux-zImage
 boot_xen=run bootcmd_load_linux; tftpboot $xen_addr_r $tftp_path/xen-uImage; bootm $xen_addr_r -
 bootcmd=run boot_xen

with 10.y.y.y the ip addr of the board and 10.x.x.x the ip of a tftp server (or PXE server).

about the wiki page

say how to provide the dts (compiled in Xen + give the path in the linux tree)