--- /dev/null
+## @file\r
+# This driver produces the VirtIo Device Protocol instances for VirtIo Mmio\r
+# Device\r
+#\r
+# Copyright (C) 2013, ARM Ltd\r
+#\r
+# This program and the accompanying materials are licensed and made available\r
+# under the terms and conditions of the BSD License which accompanies this\r
+# distribution. The full text of the license may be found at\r
+# http://opensource.org/licenses/bsd-license.php\r
+#\r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r
+# WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+#\r
+##\r
+\r
+[Defines]\r
+ INF_VERSION = 0x00010006\r
+ BASE_NAME = VirtioMmioDeviceLib\r
+ FILE_GUID = 3b6ed966-b5d1-46a8-965b-867ff22d9c89\r
+ MODULE_TYPE = UEFI_DRIVER\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = VirtioMmioDeviceLib\r
+\r
+[Sources]\r
+ VirtioMmioDevice.c\r
+ VirtioMmioDeviceFunctions.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ OvmfPkg/OvmfPkg.dec\r
+\r
+[LibraryClasses]\r
+ BaseMemoryLib\r
+ DebugLib\r
+ IoLib\r
+ MemoryAllocationLib\r
+ UefiBootServicesTableLib\r
+ UefiLib\r
+\r
+[Protocols]\r
+ gVirtioDeviceProtocolGuid ## PRODUCES\r