Re: [Trisquel-users] Trisquel lags when playing videos and video games, sometimes freezes

[mikko . viinamaki]

That's a new kernel and could be related. You could try the new Linux-libre  
kernels from e.g. http://jxself.org/linux-libre/

uname -r will show you what kernel you're running now. Holding shift at boot  
should show you the grub menu where you can select which kernel you want to  
boot. I believe the latest is the default. (or perhaps whichever latest  
installed)

ps. virtualbox is going away in Trisquel 7 so you might want to look at the  
alternatives.