...
Please download the VM provided at this link (@@@Link missing for now) and here (mininet-p4.ova) and import it into VirtualBox by double clicking on the mininet-p4.ova file. The file is 3.55 gb so it might take some time to download depending on the speed of your network.
The current machine hw spec is:
...