1. Tseng-W32.exe Driver
2. TSENGW32.INF File Contents

TSENGW32.INF Driver File Contents (Tseng-W32.exe)

; 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"

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.