EmbeddedPkg/DebugSupportDxe/DebugSupportDxe.inf

   1 #%HEADER%
   2 [Defines]
   3   INF_VERSION                    = 0x00010005
   4   BASE_NAME                      = ArmDebugSupportDxe
   5   FILE_GUID                      = 2e7c151b-cbd8-4df6-a0e3-cde660067c6a
   6   MODULE_TYPE                    = DXE_DRIVER
   7   VERSION_STRING                 = 1.0
   8
   9   ENTRY_POINT                    = DebugSupportDxeInitialize
  10
  11 [Sources.common]
  12   DebugSupport.c
  13
  14 [Packages]
  15   MdePkg/MdePkg.dec
  16   EmbeddedePkg/EmbeddedePkg.dec
  17
  18 [LibraryClasses]
  19   BaseMemoryLib
  20   CacheMaintenanceLib
  21   UefiDriverEntryPoint
  22   ArmLib
  23
  24 [Protocols]
  25   gEfiCpuArchProtocolGuid
  26   gEfiDebugSupportProtocolGuid
  27   gTimerDebugSupportProtocolGuid
  28