3 INF_VERSION = 0x00010005
4 BASE_NAME = EmbeddedMonotonicCounter
5 FILE_GUID = FCABE6A7-7953-4A84-B7EC-D29E89B62E87
6 MODULE_TYPE = DXE_RUNTIME_DRIVER
9 ENTRY_POINT = MonotonicCounterDriverInitialize
12 EmbeddedMonotonicCounter.c
20 UefiBootServicesTableLib
22 UefiRuntimeServicesTableLib
25 gEfiMonotonicCounterArchProtocolGuid