P4Pi Updates - p4lang/p4pi GitHub Wiki
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.