/src/VBox/Devices/EFI/Firmware/SourceLevelDebugPkg/Include/

• ../
• Guid
• Ia32
• ImageDebugSupport.h
• Library
• TransferProtocol.h