EFI@ 39183

Name	Size	Rev	Age	Author	Last Change
../
Firmware2		39183	13 years	vboxsync	EFI: backed r74635,r74636
FirmwareBin		39164	13 years	vboxsync	EFI: updates binaries to r74628.
Thunk		39163	13 years	vboxsync	EFI: fix 64-bit guests boot.
tools		33540	14 years	vboxsync	*: spelling fixes, thanks Timeless!
DevEFI.cpp	43.4 KB	35431	14 years	vboxsync	DevEFI: gcc-4.6 compile fix
efi_build.conf	910 bytes	39183	13 years	vboxsync	EFI: backed r74635,r74636
Makefile.kup	0 bytes	23119	15 years	vboxsync	re-export EFI

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