[Pkg-virtualbox-devel] Bug#826303: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Re: Bug#826303: virtualbox-dkms: Installation unsuccesfull)

[Gianfranco Costamagna]

Hi,



>It was not my intention to use an old kernel.
>
>It seems strange to me that the routine 'apt-get upgrade' haven't  
>upgraded the kernel.


yes, the main difference between upgrade and dist-upgrade is the kernel
upgrade :)
>'apt-get dist-upgrade' helped, I just forgot about dpkg-reconfigure  
>virtualbox-dkms.
>
>Now the problem is solved, thank you very much for your help.


I'm really happy your system is back on track!
BTW if you know how to write some documentation, and where, I'm happy to
listen :)

Gianfranco

-- 
Prof. dr hab. Janusz S. Bień -  Uniwersytet Warszawski (Katedra  
Lingwistyki Formalnej)
Prof. Janusz S. Bień - University of Warsaw (Formal Linguistics Department)
jsbien at uw.edu.pl, jsbien at mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/