Re: [Trisquel-users] Virtualbox-ose isn't cutting it (likely due to unrecognized hardware). I want to try VMware player.

[dadix]

I can't run VB on kernel 3.10 also (and I have Intel processor), but for  
kernel 3.2 you must to install headers generic:

sudo apt-get install linux-headers-`uname -r`