[Trisquel-users] Re : VirtualBox

[magicbanana]

Execute this command in a terminal:
$ arch

If you always want to be using the latest kernel version, install:

linux-libre64 if the 'arch' command returned x86_64;
linux-libre32 if the 'arch' command returned x86.