--- /dev/null
+#/** @file\r
+#\r
+# Driver provides the IOMMU protcol support for PciHostBridgeIo and others\r
+# drivers.\r
+#\r
+# Copyright (c) 2017, AMD Inc. All rights reserved.<BR>\r
+#\r
+# This program and the accompanying materials\r
+# are licensed and made available under the terms and conditions of the BSD\r
+# License which accompanies this distribution. The full text of the license may\r
+# be found at http://opensource.org/licenses/bsd-license.php\r
+#\r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+#\r
+#**/\r
+\r
+[Defines]\r
+ INF_VERSION = 1.25\r
+ BASE_NAME = IoMmuDxe\r
+ FILE_GUID = 8657015b-ea43-440d-949a-af3be365c0fc\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+ ENTRY_POINT = IoMmuDxeEntryPoint\r
+\r
+[Sources]\r
+ AmdSevIoMmu.c\r
+ IoMmuDxe.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ MdeModulePkg/MdeModulePkg.dec\r
+ OvmfPkg/OvmfPkg.dec\r
+\r
+[LibraryClasses]\r
+ BaseLib\r
+ UefiLib\r
+ UefiDriverEntryPoint\r
+ UefiBootServicesTableLib\r
+ DxeServicesTableLib\r
+ DebugLib\r
+ MemEncryptSevLib\r
+\r
+[Protocols]\r
+ gEdkiiIoMmuProtocolGuid ## SOMETIME_PRODUCES\r
+ gIoMmuAbsentProtocolGuid ## SOMETIME_PRODUCES\r
+\r
+[Depex]\r
+ TRUE\r