vbox - Revision 104448: /trunk/src/VBox/Devices/EFI/Firmware/UefiPayloadPkg/Include
..
Coreboot.h
Guid/
Library/