EFI@ 39164

Name	Size	Rev	Age	Author	Last Change
../
Firmware2		39148	13 years	vboxsync	EFI: r9542 applied. patch (r9493) is removed.
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	909 bytes	39157	13 years	vboxsync	EFI: bump EDK2 rev up to r9572.
Makefile.kup	0 bytes	23119	15 years	vboxsync	re-export EFI

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