EmbeddedPkg/EmbeddedMonotonicCounter/EmbeddedMonotonicCounter.inf

   1 #%HEADER%
   2 [Defines]
   3   INF_VERSION                    = 0x00010005
   4   BASE_NAME                      = EmbeddedMonotonicCounter
   5   FILE_GUID                      = FCABE6A7-7953-4A84-B7EC-D29E89B62E87
   6   MODULE_TYPE                    = DXE_RUNTIME_DRIVER
   7   VERSION_STRING                 = 1.0
   8
   9   ENTRY_POINT                    = MonotonicCounterDriverInitialize
  10
  11 [Sources.common]
  12   EmbeddedMonotonicCounter.c
  13
  14 [Packages]
  15   MdePkg/MdePkg.dec
  16
  17 [LibraryClasses]
  18   BaseLib
  19   DebugLib
  20   UefiBootServicesTableLib
  21   UefiDriverEntryPoint
  22   UefiRuntimeServicesTableLib
  23
  24 [Protocols]
  25   gEfiMonotonicCounterArchProtocolGuid
  26
  27 [Depex]
  28   TRUE
  29