You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to p4-edu
Hi I am new to P4, and currently trying to get Vagrant + VirtualBox running before trying the tutorial examples. I have Ubuntu 22.04 installed on Windows Subsystem for Linux (WSL) Version 2, VirtualBox-7.0.10 installed on Windows 11, and VirtualBox-6.1.38 and Vagrant 2.2.19 on Ubuntu (WSL). Additionally, I also have the virtualbox_WSL2 plugin installed. Before running the p4 examples, I am trying this simple https://blog.thenets.org/how-to-run-vagrant-on-wsl-2/ example to create a Vagrantfile using the Vagrant CLI, start a VM using the Vagrantfile and login to the VM. However, "vagrant up" provides the message below:
Bringing machine 'default' up with 'libvirt' provider... Error while connecting to Libvirt: Error making a connection to libvirt URI qemu:///system: Call to virConnectOpen failed: Failed to connect socket to '/var/run/libvirt/libvirt-sock': No such file or directory
and "vagrant up --provider virtualbox" provides the message below:
The provider 'virtualbox' that was requested to back the machine 'default' is reporting that it isn't usable on this system. The reason is shown below: VirtualBox is complaining that the installation is incomplete. Please run `VBoxManage --version` to see the error message which should contain instructions on how to fix this error.
VBoxManage --version provides the message below:
WARNING: The character device /dev/vboxdrv does not exist. Please install the virtualbox-dkms package and the appropriate headers, most likely linux-headers-standard. You will not be able to start VMs until this problem is fixed. 6.1.38_Ubuntur153438
I have installed virtualbox-dkms and linux-headers-standard, but they don't seem to help. Can someone please suggest a workaround?