Hi David, On 11 December 2013 12:25, David King <linux...@avoura.com> wrote: > For virtual machines, I recommend using Virtual Box, although you have to do > stuff to compile the Virtual Box extensions into the kernel -- it comes with > the commands you need to enter and is quite easy to do. >
You should not need to do that at all. For some time now I've not done any kernel mungling when using VirtualBox. It just rebuilds what it needs to via dkms. Same for the nVidia GPU driver. Cheers, Al. -- ubuntu-uk@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk https://wiki.ubuntu.com/UKTeam/
