VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/TdxDxe

Name Size Rev Age Author Last Change
../
X64 105670   3 months vboxsync Devices/EFI/FirmwareNew: Merge edk2-stable-202405 and make it build on …
TdxDxe.inf 2.0 KB 99404   19 months vboxsync Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it …
TdxDxe.c 12.8 KB 99404   19 months vboxsync Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it …
TdxAcpiTable.h 1.4 KB 99404   19 months vboxsync Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it …
TdxAcpiTable.c 6.7 KB 105670   3 months vboxsync Devices/EFI/FirmwareNew: Merge edk2-stable-202405 and make it build on …
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette