https://askubuntu.com/questions/705720/virtualbox-kernel-driver-not-installed-error-despite-running-sbin-vboxconfig
Anonymous
Programmer time is expensive, conserve it in preference to machine time.