[SOLVED] Devuan/VBox 6.1.22: failure to run vboxconfig successfully. Should I install systemd?

windowsuser · 05-02-2021, 03:26 PM

Hello, so today I tried to install the extensions for Virtual Box and after running

Code:

sudo VBoxManage list extpacks

I got a message saying that the vboxdrv kernel module is not loaded (I'm running linux 5.10.0-6-amd64 with sysvinit version 2.93-8+devuan1). Here's the vbox setup log: https://pastebin.com/17Cihph3

Emerson · 05-02-2021, 04:43 PM

VirtualBox modules are quite fragile to build, kernel (or kernel headers) version is important, gcc version is important.

Code:

In file included from /tmp/vbox.0/linux/SUPDrv-linux.c:33:
/tmp/vbox.0/r0drv/linux/the-linux-kernel.h:141:11: fatal error: linux/smp_lock.h: No such file or directory
  141 | # include <linux/smp_lock.h>
      |           ^~~~~~~~~~~~~~~~~~
compilation terminated.
make[3]: *** [/usr/src/linux-headers-5.10.0-6-common/scripts/Makefile.build:284: /tmp/vbox.0/linux/SUPDrv-linux.o] Error 1
make[3]: *** Waiting for unfinished jobs....

Here is your error. Not sure why it is looking for smp_lock.h, this file is obsolete, long gone. You may get better response in VirtualBox forums.

windowsuser · 05-03-2021, 08:28 AM

my gcc version is 4:10.2.1-1 and kernel headers are 5.10.28-1

Emerson · 05-03-2021, 08:34 AM

GCC stable version is 11, your GCC-4 is the first suspect in this failure.

shruggy · 05-03-2021, 09:02 AM

@Emerson. It's not GCC 4, it's GCC 10 though. 4: here is called epoch: an optional part of the package version in Debian, Fedora, Arch and many other distros.

The Maximum RPM book long ago advised against using it, but the thingy is still used by some packages, both RPMs and DEBs, till this day.

Emerson · 05-03-2021, 09:04 AM

Thanks, normally one should do 'gcc -v' to see the actual version in use, there may be several installed.

windowsuser · 05-03-2021, 10:52 AM

@Emerson it says my gcc version is 10.2.1 20210110 (Debian 10.2.1-6)

Emerson · 05-03-2021, 12:14 PM

OK, it is getting this ancient include from somewhere, do you have anything in /usr/local/include ?

windowsuser · 05-03-2021, 05:57 PM

no, nothing

windowsuser · 05-03-2021, 06:32 PM

Ok apparently even though if I remember correctly I installed virtualbox manually from their website, a quick check with package manager revealed that for whatever reason my version was 6.0. After reinstalling with the latest version vboxconfig ran with no errors.

boughtonp · 05-04-2021, 11:53 AM

Sounds like you've solved the problem, but the question in the title is confusing:

Quote:

Originally Posted by windowsuser

Devuan/VBox 6.1.22: failure to run vboxconfig successfully. Should I install systemd?

Since the defining characteristic of Devuan is the lack of systemd, if you're willing to install systemd, what benefit is there to running Devuan?