Estoy intentando configurar VirtualBox en un servidor y recibo este mensaje de respuesta cuando intento iniciar el servicio VBox:
Mar 24 20:55:49 main vboxdrv.sh[4200]: vboxdrv.sh: Starting VirtualBox services.
Mar 24 20:55:49 main vboxdrv.sh[4242]: Starting VirtualBox services.
Mar 24 20:55:49 main vboxdrv.sh[4200]: vboxdrv.sh: Building VirtualBox kernel modules.
Mar 24 20:55:49 main vboxdrv.sh[4247]: Building VirtualBox kernel modules.
Mar 24 20:55:49 main vboxdrv.sh[4200]: This system is currently not set up to build kernel modules.
Mar 24 20:55:49 main vboxdrv.sh[4200]: Please install the Linux kernel "header" files matching the current kernel
Mar 24 20:55:49 main vboxdrv.sh[4200]: for adding new hardware support to the system.
Mar 24 20:55:49 main systemd[1]: vboxdrv.service: Control process exited, code=exited status=1
Mar 24 20:55:49 main systemd[1]: vboxdrv.service: Failed with result 'exit-code'.
Mar 24 20:55:49 main systemd[1]: Failed to start VirtualBox Linux kernel module.
Me pide: "Por favor, instale los archivos de "encabezado" del kernel de Linux que coincidan con el kernel actual", pero no estoy seguro de qué debo instalar.
Respuesta1
En Debian deberías buscar un paquete llamado "linux-headers-$(something)", donde $(something) es la versión y compilación del kernel. En otras distribuciones como Ubuntu, esto puede ser diferente (creo que se llama "linux-genérico").
Respuesta2
Lo solucioné siguiendo la guía de Scaleway en GitHub.