/src/VBox/Devices/EFI/FirmwareBin/

• ../
• VBoxEFI32.fd
• VBoxEFI64.fd