--- /dev/null
+#/** @file\r
+# INF file for the Silicon Image I3132 SATA controller\r
+#\r
+# Copyright (c) 2011-2015, ARM Limited. All rights reserved.\r
+#\r
+# This program and the accompanying materials\r
+# are licensed and made available under the terms and conditions of the BSD License\r
+# which accompanies this 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,\r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+#\r
+#**/\r
+\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = SataSiI3132\r
+ FILE_GUID = 1df18da0-a18b-11df-8c3a-0002a5d5c51b\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+\r
+ ENTRY_POINT = InitializeSataSiI3132\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ EmbeddedPkg/EmbeddedPkg.dec\r
+\r
+[LibraryClasses]\r
+ UefiLib\r
+ UefiDriverEntryPoint\r
+ MemoryAllocationLib\r
+\r
+[Sources]\r
+ SataSiI3132.c\r
+ ComponentName.c\r
+ SiI3132AtaPassThru.c\r
+\r
+[Protocols]\r
+ gEfiPciIoProtocolGuid # Consumed\r
+ gEfiAtaPassThruProtocolGuid # Produced\r
+\r
+[Pcd]\r
+ gEmbeddedTokenSpaceGuid.PcdSataSiI3132FeaturePMPSupport\r
+ gEmbeddedTokenSpaceGuid.PcdSataSiI3132FeatureDirectCommandIssuing\r
+\r
+[Depex]\r
+ TRUE\r