PCI4520WDM.inf Driver File Contents (dm7520_win_v502.zip)

; Windows 2000, 98, and ME Plug and Play INF for WinRT WDM PCI4520
; Portions Copyright (c) 1993-2001, BSQUARE CORPORATION
; File Created on: 9/17/2001 at: 21:17
; PCI Vendor 0x1435, Device 0x4520, Real Time Devices US Inc, Unknown Device
; This file installs devices from the device manager (F4 from the Console)
; Or from a Plug and Play add device wizard

[Version]
Signature="$Windows NT$"
Class=WinRTDevices
ClassGUID={D695ED6A-630D-4d83-8D8B-F1F0AC107AD0}
Provider=%PCI4520.Provider%

[Manufacturer]
%PCI4520.Manufacturer%=PCI4520

[ClassInstall32]
AddReg=PCI4520.AddClassReg

[PCI4520]
%PCI4520.DeviceDesc%=PCI4520.INSTALL, PCI\VEN_1435&DEV_4520

[SourceDisksNames]
1=%PCI4520.DriverDiskName%,"",1

[SourceDiskFiles]
PCI4520.sys=1

[PreCopySection]
HKR,,NoSetupUI,,1

[DestinationDirs]
PCI4520.CopyFiles = 10,system32\drivers ; WINDOWS\SYSTEM32\DRIVERS

[PCI4520.INSTALL]
CopyFiles=PCI4520.CopyFiles
AddReg=PCI4520.AddRegLoader
AddReg=PCI4520.AddRegWinRT

[PCI4520.INSTALL.NT]
CopyFiles=PCI4520.CopyFiles

[PCI4520.INSTALL.NT.HW]
AddReg=PCI4520.AddRegWinRT

[PCI4520.INSTALL.HW]
AddReg=PCI4520.AddRegWinRT

[PCI4520.AddClassReg]
HKR,,,,%PCI4520.ClassName%

[PCI4520.AddRegLoader]
HKR,,DevLoader,,*ntkern
HKR,,NTMPDriver,,PCI4520.sys

[PCI4520.AddRegWinRT]
HKR,,DMACommonBufferSize,0x00010001,65536
HKR,,DebugBitMask,0x00010001,3
HKR,,BusType,0x00010001,5
HKR,,SymbolicLinkName,0,"PCI4520"

[PCI4520.INSTALL.NT.Services]
AddService = PCI4520,0x00000002,PCI4520_Service_Inst

[PCI4520_Service_Inst]
ServiceType     = 1
StartType       = 3  ; Start type is irrelevant on WDM
ErrorControl    = 1
ServiceBinary   = %12%\PCI4520.sys
DisplayName     = %PCI4520.DeviceDesc%

[PCI4520.CopyFiles]
PCI4520.sys

;---------------------------------------------------------------
; TODO: You can change Providor, Manufacturer, DeviceDesc
;       and DriverDiskName to match your hardware and
;       and software
;---------------------------------------------------------------

[Strings]
PCI4520.Provider="Real Time Devices USA"
PCI4520.Manufacturer="Real Time Devices USA"
PCI4520.DeviceDesc="PCI4520 WDM Device"
PCI4520.ClassName="WinRT Devices"
PCI4520.DriverDiskName="PCI4520 WDM Installation Diskette"

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