3 INF_VERSION = 0x00010005
4 BASE_NAME = ArmDebugSupportDxe
5 FILE_GUID = 2e7c151b-cbd8-4df6-a0e3-cde660067c6a
6 MODULE_TYPE = DXE_DRIVER
9 ENTRY_POINT = DebugSupportDxeInitialize
16 EmbeddedePkg/EmbeddedePkg.dec
25 gEfiCpuArchProtocolGuid
26 gEfiDebugSupportProtocolGuid
27 gTimerDebugSupportProtocolGuid