EFI@ 39166

Name	Size	Rev	Age	Author	Last Change
../
tools		33540	14 years	vboxsync	*: spelling fixes, thanks Timeless!
Thunk		39163	13 years	vboxsync	EFI: fix 64-bit guests boot.
FirmwareBin		39164	13 years	vboxsync	EFI: updates binaries to r74628.
Firmware2		39166	13 years	vboxsync	EFI: firmware dependencies and clean up for bumping to r9650
Makefile.kup	0 bytes	23119	16 years	vboxsync	re-export EFI
efi_build.conf	910 bytes	39165	13 years	vboxsync	EFI: bump EDKv2 r9650
DevEFI.cpp	43.4 KB	35431	14 years	vboxsync	DevEFI: gcc-4.6 compile fix

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