source: vbox@ 21587

Name	Size	Rev	Age	Author	Last Change
trunk		21587	16 years	vboxsync	Make sure we turn off X86_CR4_VME if we are in emulated real mode (VT-x)

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