☰

Virtualbox “o sistema não está atualmente configurado para construir módulos do kernel”

tag-icon • tag-icon kernel virtualbox
Virtualbox “o sistema não está atualmente configurado para construir módulos do kernel”

Estou tentando instalar o Virtualbox no meu Ubuntu 16.04. Quando tento abri-lo, ocorre um erro que me diz para executar o sudo /sbin/vboxconfig. A execução deste comando resulta na seguinte saída:

vboxdrv.sh: Building VirtualBox kernel modules.
     This system is not currently set up to build kernel modules (system                  extensions).
     Running the following commands should set the system up correctly:

  apt-get install linux-headers-4.2.0-35-generic
(The last command may fail if your system is not fully updated.)
  apt-get install linux-headers-generic
vboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.
This system is not currently set up to build kernel modules (system extensions).
Running the following commands should set the system up correctly:

  apt-get install linux-headers-4.2.0-35-generic
(The last command may fail if your system is not fully updated.)
  apt-get install linux-headers-generic

There were problems setting up VirtualBox.  To re-start the set-up process, run
  /sbin/vboxconfig
as root.

As etapas sugeridas não funcionam na minha máquina. Diz que o pacote está obsoleto. Os únicos pacotes de cabeçalho disponíveis são os pacotes 4.4.0. Executar uname -r me dá a versão 4.2.0.

Alguma idéia de como consertar isso?

Saída de cat /etc/lsb-release:

DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=16.04
DISTRIB_CODENAME=xenial
DISTRIB_DESCRIPTION="Ubuntu 16.04.1 LTS"

Saída de sudo apt install linux-generic:

Reading package lists... Done
Building dependency tree       
Reading state information... Done
linux-generic is already the newest version (4.4.0.36.38).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

Saída de cat /etc/default/grub:

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT="                                                               Windows 10"
#GRUB_HIDDEN_TIMEOUT="0"
GRUB_HIDDEN_TIMEOUT_QUIET="true"
GRUB_TIMEOUT="5"
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL="console"

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE="640x480"

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID="true"

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"

export GRUB_COLOR_NORMAL="green/black"
export GRUB_COLOR_HIGHLIGHT="light-green/black"
export GRUB_MENU_PICTURE="/home/user/grub/maxresdefault.jpg"
GRUB_SAVEDEFAULT="false"

Responder1

Você tem um /etc/default/grubarquivo estragado.

Corrija a linha

GRUB_DEFAULT="                                                               Windows 10"

para

GRUB_DEFAULT=0

Então remova

GRUB_SAVEDEFAULT="false"

e corra

sudo update-grub

Em seguida, reinicie.

informação relacionada