EFI@ 41138

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		40896	13 years	vboxsync	EFI/docs: r9572 = 1dba456e1a72a3c2d896f25f94ddeaa64d10a3be
Makefile.kup	0 bytes	23119	15 years	vboxsync	re-export EFI
efi_build.conf	1.0 KB	41095	13 years	vboxsync	EFI: adds patch IntelFrameworkModulePkg_Universal_BdsDxe_FrontPage_c
DevEFI.cpp	43.5 KB	40280	13 years	vboxsync	Corrected a bunch of HC and GC uses in status codes.

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