TSENGW32.INF Driver File Contents (w95w32.zip)

; INF file for Tseng ET4000 W32 display driver
; Copyright (c) 1994-1995, Microsoft Corporation
; Copyright (c) 1994-1995, Tseng Labs, Inc.

[version]
Class=DISPLAY
signature="$CHICAGO$"
Provider=%Tseng%

[DestinationDirs]
DefaultDestDir  =11		;LDID_SYS

[SourceDisksNames]
1="Windows 95 ET4000/W32 Driver Disk",,diskt

[SourceDisksFiles]
tsengw32.drv=1
tsengw32.vxd=1


;----------------------------------------
; Manufacturers 

[Manufacturer]
%Tseng%=Tseng


;----------------------------------------
; Driver sections

[Tseng]
%*PNP0912.DeviceDesc%=TsengW32, *PNP0912                	; W32/W32i/W32p
%PCI\VEN_100C&DEV_3202.DeviceDesc%=TsengW32, PCI\VEN_100C&DEV_3202
%PCI\VEN_100C&DEV_3206.DeviceDesc%=TsengW32, PCI\VEN_100C&DEV_3206
%PCI\VEN_100C&DEV_3207.DeviceDesc%=TsengW32, PCI\VEN_100C&DEV_3207


;----------------------------------------
; Install sections

[TsengW32]
CopyFiles=TsengW32.Copy
DelReg=Prev.DelReg
AddReg=TsengW32.AddReg

[TsengW32.Copy]
tsengw32.drv
tsengw32.vxd

[Prev.DelReg]
HKR,,Ver
HKR,,DevLoader
HKR,DEFAULT
HKR,MODES
HKR,CURRENT


[TsengW32.AddReg]
HKR,,Ver,,4.0
HKR,,DevLoader,,*vdd
HKR,DEFAULT,Mode,,"8,640,480"
HKR,DEFAULT,drv,,tsengw32.drv
HKR,DEFAULT,vdd,,"*vdd,*vflatd"
HKR,DEFAULT,minivdd,,tsengw32.vxd
HKR,DEFAULT,RefreshRate,,-1	; DDC support
HKR,DEFAULT,DDC,,1		; DDC support
HKR,"MODES\4\640,480",drv,,vga.drv
HKR,"MODES\4\640,480",vdd,,*vdd
HKR,"MODES\4\800,600",drv,,supervga.drv
HKR,"MODES\4\800,600",vdd,,*vdd
HKR,"MODES\8\640,480"
HKR,"MODES\8\800,600"
HKR,"MODES\8\1024,768"
HKR,"MODES\8\1280,1024"
HKR,"MODES\16\640,480"
HKR,"MODES\16\800,600"
HKR,"MODES\16\1024,768"
HKR,"MODES\24\640,480"
HKR,"MODES\24\800,600"


;----------------------------------------
; User visible strings

[Strings]
Tseng="Tseng Labs"

*PNP0912.DeviceDesc             ="Tseng Labs ET4000/W32"
PCI\VEN_100C&DEV_3202.DeviceDesc="Tseng Labs ET4000/W32 PCI"
PCI\VEN_100C&DEV_3206.DeviceDesc="Tseng Labs ET4000/W32 PCI"
PCI\VEN_100C&DEV_3207.DeviceDesc="Tseng Labs ET4000/W32 PCI"

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: web5, load: 0.64