VTP

For general information, see archlinux.

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

autoload=no
baudrate=115200
bootargs=console=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:07
fdt_high=0x20000000
fdtcontroladdr=3ffa9e30
gatewayip=129.57.68.100
initrd_high=0x20000000
ipaddr=129.57.68.43
kernel_image=uImage
kernel_load_address=0x2080000
kernel_path=linux-install/ArchLinux-armv71
modeboot=sdboot
netmask=255.255.255.0
sdboot=echo Copying Linux from TFTP server to RAM... && tftpboot ${kernel_load_address} ${kernel_path}/${kernel_image} && tftpboot ${devicetree_load_address}  ${kernel_path}/${devicetree_image} && 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};

Environment size: 1465/131068 bytes