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