VTP

Correct u-boot config (NOTE: have to customize ethaddr and ipaddr):

baudrate=115200
bootargs=ttyPS0,115200 ip=:::::eth0:dhcp nfsroot=129.57.167.16:/vol/diskless/ArchLinux/armv7-devel/root uio_pdrv_genirq.of_id=my-uio ro rootwait
bootcmd=run $modeboot
bootdelay=3
devicetree_image=zynq-jlab-vtp.dtb
devicetree_load_address=0x2000000
ethact=ethernet@e000b000
ethaddr=CE:BA:F0:03:00:13
fdt_high=0x20000000
fdtcontroladdr=3ffa9c70
fileaddr=2080000
filesize=39cf08
gatewayip=129.57.68.100
initrd_high=0x20000000
ipaddr=129.57.68.84
kernel_image=uImage
kernel_load_address=0x2080000
modeboot=sdboot
netmask=255.255.255.0
sdboot=echo TFTPing Image to RAM... && tftpboot ${kernel_load_address} linux-install/ArchLinux-armv71/uImage && tftpboot ${devicetree_load_address} linux-install/ArchLinux-armv71/devicetree.dtb && bootm ${kernel_load_address} - ${devicetree_load_address};
sdboot_no=if mmcinfo; then echo Copying Linux from SD to RAM... && load mmc 0 ${kernel_load_address} ${kernel_image} && load mmc 0 ${devicetree_load_address} ${devicetree_image} && bootm ${kernel_load_address} - ${devicetree_load_address}; fi
serverip=129.57.167.14
stderr=serial@e0000000
stdin=serial@e0000000
stdout=serial@e0000000
tftpboot_no=echo Copying Linux from tftp server to RAM... &&tftpboot ${kernel_load_address} linux_vtp/${kernel_image} &&tftpboot ${devicetree_load_address} linux_vtp/${devicetree_image} &&bootm ${kernel_load_address} - ${devicetree_load_address};