Re: [Trisquel-users] is it even possible to make virtualbox 4.1 work on my new kernel?

[dguthrie]

Why don't you try Virtualbox 5.2.0? Perhaps the 4.x version you are using  
does not support the newest kernel?
If you can convert your VDI files to normal disk images then that would be  
better as you can run them using virt-manager as someone said above.