source: vbox@ 3750

Name	Size	Rev	Age	Author	Last Change
trunk		3750	18 years	vboxsync	Check if SVM is disabled in the BIOS. Otherwise enabling it with wrmsr …

Note: See TracBrowser for help on using the repository browser.