source:
vbox/trunk/src/VBox/Devices/EFI@
40107
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| tools | 33540 | 14 years | *: spelling fixes, thanks Timeless! | ||
| Thunk | 39163 | 13 years | EFI: fix 64-bit guests boot. | ||
| FirmwareBin | 39164 | 13 years | EFI: updates binaries to r74628. | ||
| Firmware2 | 39185 | 13 years | EFI: backed r74630,r74631 | ||
| Makefile.kup | 0 bytes | 23119 | 15 years | re-export EFI | |
| efi_build.conf | 901 bytes | 39186 | 13 years | EFI: applies Sec_SecMain_c_edk2_rev to firmware build. | |
| DevEFI.cpp | 43.3 KB | 39707 | 13 years | BIOS: allow to expose the processor informtion | |
Note:
See TracBrowser
for help on using the repository browser.
