--- /dev/null
+#%HEADER%\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = EmbeddedMonotonicCounter\r
+ FILE_GUID = FCABE6A7-7953-4A84-B7EC-D29E89B62E87\r
+ MODULE_TYPE = DXE_RUNTIME_DRIVER\r
+ VERSION_STRING = 1.0\r
+\r
+ ENTRY_POINT = MonotonicCounterDriverInitialize\r
+\r
+[Sources.common]\r
+ EmbeddedMonotonicCounter.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+\r
+[LibraryClasses]\r
+ BaseLib\r
+ DebugLib\r
+ UefiBootServicesTableLib\r
+ UefiDriverEntryPoint\r
+ UefiRuntimeServicesTableLib\r
+\r
+[Protocols]\r
+ gEfiMonotonicCounterArchProtocolGuid\r
+\r
+[Depex]\r
+ TRUE\r
+\r