[Ubuntu-BR] Virtual Box e Kernel rt

[Pedro A Vieira]

Salve!!

Pois bem, o Ubuntu acaba de atualizar o kernel para o 2.6.24-26. Meu virtual
box estava funcionando perfeitamente, mas agora com essa atualização ele
parou.

Detalhe: resolvi o problema com o kernel generic fazendo o que o próprio
erro pede - "sudo /etc/init.d/vboxdrv setup", mas isso não resolve com o
kernel rt.

O que aparece no terminal é isso:

* * Stopping VirtualBox kernel
module                                             *  done.
 * Recompiling VirtualBox kernel
module
 * Look at /var/log/vbox-install.log to find out what went wrong*

E lá no log:

*Error! Your kernel source for kernel 2.6.24-26-rt cannot be found at
/lib/modules/2.6.24-26-rt/build or /lib/modules/2.6.24-26-rt/source.
You can use the --kernelsourcedir option to tell DKMS where it's located.
Failed to install using DKMS, attempting to install without
Makefile:127: *** Error: unable to find the sources of your current Linux
kernel. Specify KERN_DIR=<directory> and run Make again.  Pare.*

Como eu posso adicionar o kernel source nos diretórios indicados??
Como eu digo ao DKMS onde está localizado??


Abraço!