1. SP5101S_W7_USB3.ZIP Driver
2. FLxHCIc.inf File Contents

FLxHCIc.inf Driver File Contents (SP5101S_W7_USB3.ZIP)

; FLxHCIc.inf
;

[Version]
Signature="$WINDOWS NT$"
Class = USB
ClassGuid = {36fc9e60-c465-11cf-8056-444553540000}

Provider=%FRESCO%
DriverVer=11/19/2010,3.0.110.12
CatalogFile=FLxHCIc.cat

[DestinationDirs]
DefaultDestDir = 12

; ================= Device Install section =====================

[ControlFlags]
ExcludeFromSelect=*

[Manufacturer]
%FRESCO%=FRESCO,NTx86

[SourceDisksFiles]
FLxHCIc.sys=1

[SourceDisksNames]
1=%DISK_NAME%,

[FRESCO.NTx86]
; For distribution...
;
%FLxHCIc.DRVDESC1000%=      FLxHCIc,        PCI\VEN_1B73&DEV_1000
%FLxHCIc.DRVDESC%=          FLxHCIc,        PCI\VEN_1B73&DEV_1400
%FLxHCIc.DRVDESC1009_00%=   FLxHCIc_MSI,    PCI\VEN_1B73&DEV_1009

[FLxHCIc.NT]
CopyFiles=FLxHCIc.CopyFiles

[FLxHCIc_MSI.NT]
CopyFiles=FLxHCIc_MSI.CopyFiles

[FLxHCIc.NT.HW]
AddReg=FLxHCIc.AddReg

[FLxHCIc_MSI.NT.HW]
AddReg=FLxHCIc_MSI.AddReg

[FLxHCIc.CopyFiles]
FLxHCIc.sys

[FLxHCIc_MSI.CopyFiles]
FLxHCIc.sys

[FLxHCIc.AddReg]

;; This is custom for 1009b to turn ON MSI
;;
[FLxHCIc_MSI.AddReg]
HKR,Interrupt Management,,0x00000010
HKR,Interrupt Management\MessageSignaledInterruptProperties,,0x00000010
HKR,Interrupt Management\MessageSignaledInterruptProperties,MSISupported,0x00010001,1

[FLxHCIc.NT.Services]
AddService=FLxHCIc,0x00000002,FLxHCIc_Service

[FLxHCIc_MSI.NT.Services]
AddService=FLxHCIc,0x00000002,FLxHCIc_Service

[FLxHCIc_Service]
DisplayName    = %FLxHCIc.SVCDESC%
ServiceType    = 1                  ; SERVICE_KERNEL_DRIVER
StartType      = 3                  ; SERVICE_DEMAND_START
ErrorControl   = 1                  ; SERVICE_ERROR_NORMAL
ServiceBinary  = %12%\FLxHCIc.sys
AddReg         = FLxHCIx_Parameters_AddReg

[FLxHCIx_Parameters_AddReg]
HKR, Parameters\Wdf, VerboseOn,       0x00010001, 0
HKR, Parameters\Wdf, VerifierOn,      0x00010001, 0
HKR, Parameters\Wdf, DbgBreakOnError, 0x00010001, 0
HKR, Parameters, SGRD_15D9_0A4C,      0x00010001, 0
HKR, Parameters, STIC_15A4_1003,      0x00010001, 0
HKR, Parameters, STIC_1B80_E39B,      0x00010001, 0
HKR, Parameters, STIC_07CA_815C,      0x00010001, 0
HKR, Parameters, STIC_07CA_A815,      0x00010001, 0
HKR, Parameters, SMSZ_1759_5002,      0x00010001, 0
HKR, Parameters, DDOS_12D1_1001,      0x00010001, 0
HKR, Parameters, DDOS_12D1_1003,      0x00010001, 0
HKR, Parameters, DDOS_1A8D_1000,      0x00010001, 0
HKR, Parameters, DDOS_1A8D_1002,      0x00010001, 0
HKR, Parameters, DDOS_1A8D_1009,      0x00010001, 0
HKR, Parameters, DDOS_0408_EA03,      0x00010001, 0
HKR, Parameters, ABIG_03F0_5817,      0x00010001, 0
HKR, Parameters, SCWA_0781_74C2,      0x00010001, 0
HKR, Parameters, CCSD_13FE_1E00,      0x00010001, 0
HKR, Parameters, DDIP_13FE_1E00,      0x00010001, 0

;-------------- Coinstaller installation
[DestinationDirs]
CoInstaller_CopyFiles = 11

[FLxHCIc.NT.CoInstallers]
AddReg=CoInstaller_AddReg
CopyFiles=CoInstaller_CopyFiles

[FLxHCIc_MSI.NT.CoInstallers]
AddReg=CoInstaller_AddReg
CopyFiles=CoInstaller_CopyFiles

[CoInstaller_CopyFiles]
WdfCoInstaller01009.dll

[SourceDisksFiles]
WdfCoInstaller01009.dll=1 ; make sure the number matches with SourceDisksNames

[CoInstaller_AddReg]
HKR,,CoInstallers32,0x00010000, "WdfCoInstaller01009.dll,WdfCoInstaller"

[FLxHCIc.NT.Wdf]
KmdfService = FLxHCIc, FLxHCIc_wdfsect

[FLxHCIc_MSI.NT.Wdf]
KmdfService = FLxHCIc, FLxHCIc_wdfsect

[FLxHCIc_wdfsect]
KmdfLibraryVersion = 1.9

[Strings]
FRESCO = "Fresco Logic"
DISK_NAME = "Fresco Logic xHCI Install Disk (Bus)"
FLxHCIc.SVCDESC= "Fresco Logic xHCI (USB3) Device Driver"
FLxHCIc.DRVDESC= "Fresco Logic xHCI (USB3) Controller"
FLxHCIc.DRVDESC1000= "Fresco Logic xHCI (USB3) Controller FL1000 Series"
FLxHCIc.DRVDESC1009_00= "Fresco Logic xHCI (USB3) Controller FL1009 Series"