source: vbox@ 1699

Name	Size	Rev	Age	Author	Last Change
trunk		1699	18 years	vboxsync	NO_SUPCALLR0VMM not needed for L4

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