A pre-built virtual machine of p4 tutorials (at https://github.com/p4lang/tutorials).
For some reason you can't fix the installation progress and want a pre-built vm for the new tutorials' environment (ubuntu 20.04).
You can use either of the two files to install vm, given by links.
These files have been tested on Windows 10 with VirtualBox 6.1 and Vagrant 2.2.19.
You may not need Vagrant, simply import this file in VirtualBox.
https://drive.google.com/file/d/1B1srPX8h2rM4e1PutGQxv-vS2TFGiikY/view?usp=sharing
https://app.vagrantup.com/Yitao/boxes/p4_tutorial_release_ubuntu20
The installation instructions have been given in it.
You can also download it from Google Drive.
https://drive.google.com/file/d/1V_sZldgMJ9N6wqmNge-VcsH54Gjfmvvx/view?usp=sharing
I have changed the DNS server address and apt source address in order to adapt it to Chinese network environment, you may change /etc/resolv.conf and /etc/apt/sources.list to suit your network environment.
#p4 tutorial
#p4 tutorials