source:
vbox/trunk/src/VBox/Devices/EFI@
42811
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
Firmware2 | 42741 | 12 years | EFI/VBoxFsDxe: moved to UDK2010.sr1 API. | ||
FirmwareBin | 42803 | 12 years | EFI/Ovmf: binary update. | ||
Thunk | 41477 | 13 years | /Makefile.kmk: Cosmetic changes. | ||
tools | 33540 | 14 years | *: spelling fixes, thanks Timeless! | ||
DevEFI.cpp | 45.2 KB | 41284 | 13 years | DevEFI: warning (NULL => NIL_RTGCPHYS) | |
DevOVMF.cpp | 33.0 KB | 42443 | 12 years | EFI/OVMF: some clean up. | |
efi_build.conf | 1.1 KB | 42804 | 12 years | EFI/build: UefiCpuPkg_CpuDxe_CpuGdt.c patch added to the patch list. | |
Makefile.kup | 0 bytes | 23119 | 15 years | re-export EFI |
Note:
See TracBrowser
for help on using the repository browser.