1. mb_driver_thunderbolt.zip Driver
2. tfl81x.inf File Contents

tfl81x.inf Driver File Contents (mb_driver_thunderbolt.zip)

;/*++
;
;Copyright (c) 2010-2013, Intel Corporation
;
;Abstract:
;    INF file for installing Thunderbolt Native Host Interface driver
;
;--*/

[Version]
Signature="$WINDOWS NT$"
Class=System
ClassGuid={4D36E97D-E325-11CE-BFC1-08002BE10318}
Provider=%Intel%
DriverVer=07/03/2013,1.4.0.9
CatalogFile=tfl81x.cat

[DestinationDirs]
DefaultDestDir = 12
NhiCoInstallerCopyFiles = 11

[SourceDisksNames]
1 = %DiskId1%,,,""

[SourceDisksFiles]
tfl81x.sys  = 1,,
tflco81x.dll = 1,,

;*****************************************
; Install Section
;*****************************************

[Manufacturer]
%Intel%=Thunderbolt, NTamd64.6.3.1

[Thunderbolt.NTamd64.6.3.1]
; DisplayName	    Section		DeviceId
; -----------		-------		--------
%NHI.DeviceDesc156A% = NHI_Device,	PCI\VEN_8086&DEV_156A&CC_0880
%NHI.DeviceDesc156C% = NHI_Device,	PCI\VEN_8086&DEV_156C&CC_0880


[NHI_Device.NT]
CopyFiles = Drivers_Dir

[Drivers_Dir]
tfl81x.sys

;-------------- Service installation
[NHI_Device.NT.Services]
AddService = nhi,%SPSVCINST_ASSOCSERVICE%, NHI_Service_Inst

[NHI_Device.NT.CoInstallers]
AddReg    = NhiCoInstallerReg
CopyFiles = NhiCoInstallerCopyFiles

[NHI_Device.NT.HW]
AddReg = MSI.reg
AddReg = Security.reg

[MSI.reg]
HKR, "Interrupt Management", 0x00000010
HKR, "Interrupt Management\MessageSignaledInterruptProperties", 0x00000010
HKR, "Interrupt Management\MessageSignaledInterruptProperties", MSISupported, 0x00010001, 1
HKR, "Interrupt Management\MessageSignaledInterruptProperties", MessageNumberLimit, 0x00010001, 1

[NHI_Device.NT.WMI]
WMIInterface = {D1358209-C7FF-4D55-92AB-AC9645537BF3},1,WMISecurity

[WmiSecurity]
security = "O:BAG:BAD:P(A;;GA;;;SY)(A;;GA;;;BA)(A;;GA;;;WD)"

[Security.reg]
HKR,,DeviceCharacteristics,0x10001,0x100
HKR,,Security,,"D:P(A;;GA;;;SY)(A;;GA;;;BA)(A;;GR;;;WD)"

;*****************************************
; NHI  CoInstaller Section
;*****************************************
[NhiCoInstallerReg]
HKR,,CoInstallers32, 0x00010000, "tflco81x.dll,TbtCoInstaller"

[NhiCoInstallerCopyFiles]
tflco81x.dll

; -------------- Nhi driver install sections
[NHI_Service_Inst]
DisplayName    = %nhi.SVCDESC%
ServiceType    = 1               ; SERVICE_KERNEL_DRIVER
StartType      = 3               ; SERVICE_DEMAND_START
ErrorControl   = 1               ; SERVICE_ERROR_NORMAL
ServiceBinary  = %12%\tfl81x.sys
LoadOrderGroup = Extended Base

[Strings]
SPSVCINST_ASSOCSERVICE= 0x00000002
Intel = "Intel(R) Corporation"
StdMfg = "(Standard system devices)"
DiskId1 = "Thunderbolt(TM) Controller Installation Disk #1"
NHI.DeviceDesc156A = "Thunderbolt(TM) Controller - 156A"
NHI.DeviceDesc156C = "Thunderbolt(TM) Controller - 156C"

nhi.SVCDESC = "Thunderbolt(TM) Controller"