EFI@ 37490

Name	Size	Rev	Age	Author	Last Change
../
tools		33540	14 years	vboxsync	*: spelling fixes, thanks Timeless!
Thunk		36650	14 years	vboxsync	EFI64: initialization of task register before switch to compatible …
FirmwareBin		33682	14 years	vboxsync	EFI firmware bin: now with bridge support
Firmware2		37436	13 years	vboxsync	EFI/fs: right typedefs for base type definitions.
Makefile.kup	0 bytes	23119	15 years	vboxsync	re-export EFI
efi_build.conf	584 bytes	33646	14 years	vboxsync	EFI: allow running EFI with PCI bridges
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.