VTP

For general information, see archlinux.

BOOT image

Boot image contains two files: BOOT.bin and env.bin. They can be found in /boot directory on any of existing VTP boards. To make new microSD card, copy those two files to that card.

packages installation

Reboot the kernel with the root partition mounted 'rw' instead of 'ro':

1. Reboot

USE TSCONNECT:
2. Interrupt the U-boot when you see this:
  Hit any key to stop autoboot: 

3. Print out the environment variable 'bootargs'
  Zynq> printenv bootargs
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 cma=384MB

4. Change the 'ro' to 'rw'  (may need to copy in parts)
  Zynq> set bootargs "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 rw rootwait cma=384MB"

5. Boot (DO NOT SAVE ENVIRONMENT VARIABLES)

  Zync> boot

6. Login as root (through tsconnect or ssh) to use pacman.  Usage:
 
  https://wiki.archlinux.org/index.php/pacman

7. Reboot when done.  OS should come back with root fs in Read only mode.

boot information

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

How to create new microSD card