gt72sc_64.inf Driver File Contents (SlipStream_Drivers.zip)

; =============================================================================
; 7.2 
;
; Copyright (c) 2007 Option N.V.
; =============================================================================

; -----------------------------------------------------------------------------
; Version
; -----------------------------------------------------------------------------

[Version]
Signature="$WINDOWS NT$"
ClassGuid={50DD5230-BA8A-11D1-BF5D-0000F805F530}
Class=SmartCardReader
Provider=%Option%
DriverVer=06/26/2007,4.0.0.17
CatalogFile=gt72sc_64.cat

; -----------------------------------------------------------------------------
; Destination paths
; -----------------------------------------------------------------------------

[DestinationDirs]
DefaultDestDir = 12

; -----------------------------------------------------------------------------
; Manufacturers & devices
; -----------------------------------------------------------------------------

[Manufacturer]
%Option%=Option.Section,NTamd64

[Option.Section.NTamd64]
"GlobeTrotter HSxPA - Smart Card Interface"             =GT72SC.Install,OPTIONBUS\GT72F_SC
"GlobeTrotter Module HSxPA - Smart Card Interface"      =GT72SC.Install,OPTIONBUS\GT72M_SC
"GlobeTrotter Module HSxPA - Smart Card Interface"      =GT72SC.Install,OPTIONBUS\GT72S_SC
"GlobeTrotter HSxPA - Smart Card Interface"       	=GT72SC.Install,OPTIONBUS\GT72E_SC
"GlobeTrotter Module HSxPA - Smart Card Interface"	=GT72SC.Install,OPTIONBUS\GT72EM_SC
"GlobeTrotter HSxPA - Smart Card Interface"             =GT72SC.Install,OPTIONBUS\GT72V_SC
"GlobeTrotter HSxPA - Smart Card Interface"       	=GT72SC.Install,OPTIONBUS\GT72VU_SC
[Option.Section]
; -----------------------------------------------------------------------------
; Install sections for GT72SC
; -----------------------------------------------------------------------------

[GT72SC.Install.NT]
CopyFiles=GTSCSER.CopyList
AddReg=GT72SC.AddRegNT

[GT72SC.Install.NT.HW]
AddReg=GTSCSER.AddRegNT.HW

[GT72SC.AddRegNT]
HKR,,VendorName,,%Option%
HKR,,IfdType,,%IfdTypeEtsiUicc%

[GT72SC.Install.NT.Services]
AddService=GTSCSER,0x00000000,GTSCSER.DriverService,GTSCSER.EventLog
AddService=GTPTSER,0x00000002,GTPTSER.DriverService

; -----------------------------------------------------------------------------
; Common sections
; -----------------------------------------------------------------------------

[GTSCSER.AddRegNT.HW]
HKR,,"UpperFilters",0x00010000,"GTSCSER"

[GTPTSER.DriverService]
DisplayName   = "GT PT SER"
ServiceType   = 1
StartType     = 3
ErrorControl  = 1
ServiceBinary = %12%\gtptser.sys

[GTSCSER.EventLog]
AddReg = GTSCSER.EventLog.reg

[GTSCSER.EventLog.reg]
HKR,,EventMessageFile,0x00020000,"%%SystemRoot%%\System32\drivers\gtscser.sys"
HKR,,TypesSupported,  0x00010001,7

[GTSCSER.DriverService]
DisplayName   = "GT SC SER"
ServiceType   = 1
StartType     = 3
ErrorControl  = 1
ServiceBinary = %12%\gtscser.sys

;------------------------------------------------------------------------------

[GTSCSER.CopyList]
gtscser.sys,gtscser_A64.sys,,2
gtptser.sys,gtptser_A64.sys,,2

; -----------------------------------------------------------------------------
; Source files & media
; -----------------------------------------------------------------------------

[SourceDisksNames]
1=%Installation_disk%,,,

[SourceDisksFiles]
gtscser_A64.sys=1
gtptser_A64.sys=1

; -----------------------------------------------------------------------------
; Strings
; -----------------------------------------------------------------------------

[Strings]
IfdTypeEtsiUicc="ETSI UICC PC Card Reader"
Option="Option"
Installation_disk="GlobeTrotter 3G+ 7.2 64-bit installation disk"

Download Driver Pack

How To Update Drivers Manually

After your driver has been downloaded, follow these simple steps to install it.

  • Expand the archive file (if the download file is in zip or rar format).

  • If the expanded file has an .exe extension, double click it and follow the installation instructions.

  • Otherwise, open Device Manager by right-clicking the Start menu and selecting Device Manager.

  • Find the device and model you want to update in the device list.

  • Double-click on it to open the Properties dialog box.

  • From the Properties dialog box, select the Driver tab.

  • Click the Update Driver button, then follow the instructions.

Very important: You must reboot your system to ensure that any driver updates have taken effect.

For more help, visit our Driver Support section for step-by-step videos on how to install drivers for every file type.

server: web1, load: 0.81