virtualbox

[Colin Law]

On 17 October 2015 at 16:10, Karagkiaouris Diamantis
<dkaragkiaouris at gmail.com> wrote:
> Am 17/10/2015 um 06:05 μμ schrieb Colin Law:
>>
>> That is not the normal 14.04.3 kernel. It should be 3.13.0-65
>
>
> I just did the installation as well as i ran: sudo apt-get dist-upgrade.
> Nothing fancy or compilation from git another kernel.

What is shown by

apt-cache policy linux-image-generic

and

ls /boot

Colin