Quote Originally Posted by emrys View Post
OK, problem solved. With 12.10 I had to:

sudo apt-get install linux-headers-3.5.0-17-generic
sudo apt-get remove virtualbox-dkms
sudo apt-get install virtualbox-dkms
This worked for me as well - no other config needed - thanks so much!