Is there something other than VirtualBox? Unfortunately I need to use it to
access some things at work being that I work in a ::cough:: ::cough:; Windows
environment... How do I check where the headers are? Because when I run the
command 'sudo /etc/init.d/vboxdrv setup' it tells me my system isn't set up
to build kernel modules. And then refers me to apt-get for said kernel
headers which then fails for my particular version of the kernel.
I am running the 4.8.11 linux-libre kernel.
Like I said, this wasn't a problem with earlier versions and I can see that
there are earlier and later versions listed when I run 'sudo apt-get install
linux-headers'
And I am using your repository Jason.
Thanks again!
grimlok
