P4Pi Updates

P4Pi aims to provide a simple update environment. To this end, more of P4Pi's components are packages. P4Pi itself is the entire running environment, you do not update it as a stand alone.

To update packages used by P4Pi run:

sudo apt-get update
sudo apt-get install -y p4lang-pi p4lang-p4c p4lang-bmv2 p4pi-web

Note that p4lang-pi is not P4Pi, but the p4 runtime server.

The T4P4s git repository is currently cloned as part of the image, and can be updated as follows:

sudo -i
cd /root/t4p4s
git pull

We plan to turn it into a package that will be updated with other packages and simplify the installation process.

Teaching materials will be included in the image, and updates will be by pulling from P4Pi repository.