@Robert Roth - Thank you for the suggestion of using "sudo dpkg -i PATH-TO-DEB-FILE" as a way to install VirtualBox 4.0 on my system. I tried it, and was able to install VirtualBox successfully. No I'm reviewing some tips from the VirtualBox forums to find solutions for the DKMS and vbxdrv errors that some of us are running into. Thanks again for sharing the tip kind sir.
@Robert Roth - Thank you for the suggestion of using "sudo dpkg -i PATH-TO-DEB-FILE" as a way to install VirtualBox 4.0 on my system. I tried it, and was able to install VirtualBox successfully. No I'm reviewing some tips from the VirtualBox forums to find solutions for the DKMS and vbxdrv errors that some of us are running into. Thanks again for sharing the tip kind sir.