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) jsb...@uw.edu.pl, jsb...@mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/
