EFI@ 39436

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		39185	13 years	vboxsync	EFI: backed r74630,r74631
Makefile.kup	0 bytes	23119	16 years	vboxsync	re-export EFI
efi_build.conf	901 bytes	39186	13 years	vboxsync	EFI: applies Sec_SecMain_c_edk2_rev to firmware build.
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.