Page 1 of 1

VirtualBox x Debian10

Posted: 12. Aug 2020, 18:58
by JohnnyCoffee
I get the error below, after starting the virtualbox from the terminal:

Code: Select all

The vboxdrv kernel module is not loaded. Either there is no module
available for the current kernel (4.19.0-10-amd64) or it failed to
load. Please recompile the kernel module and install it by

sudo /sbin/vboxconfig

You will not be able to start VMs until this problem is fixed.
After using the mentioned command I get the following exit from the process:

Code: Select all

vboxdrv.sh: Stopping VirtualBox services.
vboxdrv.sh: Starting VirtualBox services.
vboxdrv.sh: Building VirtualBox kernel modules.
This system is currently not set up to build kernel modules.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
    linux-headers-amd64 linux-headers-4.19.0-10-amd64
This system is currently not set up to build kernel modules.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
    linux-headers-amd64 linux-headers-4.19.0-10-amd64

There were problems setting up VirtualBox.  To re-start the set-up process, run
  /sbin/vboxconfig
as root.  If your system is using EFI Secure Boot you may need to sign the
kernel modules (vboxdrv, vboxnetflt, vboxnetadp, vboxpci) before you can load
them. Please see your Linux system's documentation for more information.
Can someone help me?

Re: VirtualBox x Debian10

Posted: 12. Aug 2020, 19:02
by scottgus1
Did you try anything about this part:
JohnnyCoffee wrote:This system is currently not set up to build kernel modules.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
    linux-headers-amd64 linux-headers-4.19.0-10-amd64
If you have "apt-get"ted Virtualbox, you're probably running the fork that your Linux distro is keeping. You might do better to get Virtualbox from www.virtualbox.org.

Re: VirtualBox x Debian10

Posted: 12. Aug 2020, 20:00
by JohnnyCoffee
I managed to solve by applying the following syntax below :

Code: Select all

sudo apt-get install linux-headers-`uname -r`

root@ /sbin/rcvboxdrv setup

root@ /sbin/vboxconfig


Re: VirtualBox x Debian10

Posted: 12. Aug 2020, 20:05
by scottgus1
Great! Glad you're up and running.

I copied your commands to my Virtualbox notes, as I am no Linux guru and this question has arisen before. Thanks!