;Copyright (c) 1998-2010 Dell Corporation All rights Reserved

; WDTKernel.INF
; Windows installation file for installing the WDT driver
;
[Version]
Signature="$WINDOWS NT$"
Class=System
ClassGuid={4d36e97d-e325-11ce-bfc1-08002be10318}
Provider=%FXN%
DriverVer=12/21/2012,6.1.7600.16387
CatalogFile=WDTKernel.cat

[Manufacturer]
%FXN% = WDTDevice,NTAMD64

; For XP and later
[WDTDevice.NTAMD64]
%WDTDevDesc% = WDTInstall, root\WDT

[WDTInstall.NTAMD64]
CopyFiles = WDTCopyfiles

[WDTInstall.NTAMD64.HW]
AddReg=WDTInstall.AddReg

[WDTInstall.AddReg]
HKR,,DeviceCharacteristics,0x10001,0x0100         ; Use same security checks on relative opens
HKR,,Security,,"D:P(A;;GA;;;BA)(A;;GA;;;SY)"      ; Allow generic-all access to Built-in administrators and Local system 

[WDTInstall.NTAMD64.Services]
AddService = WDTSVC, %SPSVCINST_ASSOCSERVICE%, WDTServiceInst

[WDTServiceInst]
ServiceType   = %SERVICE_KERNEL_DRIVER%
StartType     = %SERVICE_DEMAND_START%
ErrorControl  = %SERVICE_ERROR_NORMAL%
DisplayName   = %WDTServiceDesc%
ServiceBinary = %12%\WDTKernel.sys
LoadOrderGroup = Extended Base
AddReg        = WDTAddReg

[WDTAddReg]
HKR, "Parameters", "Interval",          %REG_DWORD%, 0x0000012C     ;in second, WDT timeout setting
HKR, "Parameters", "Enabled",           %REG_DWORD%, 0x00000001     ;1=WDT enabled, 0=WDT disabled
HKR, "Parameters", "Reboot",            %REG_DWORD%, 0x00000001     ;1=HW reboot enabled, 0=HW reboot disabled
HKR, "Parameters", "AutoRefreshCycle",   %REG_DWORD%, 0x00000005     ;in Second, refresh timer setting
HKR, "Parameters", "MinInterval",        %REG_DWORD%, 0x00000005     ;in Second, minimum timeout interval     

[DestinationDirs]
DefaultDestDir = 12

[WDTCopyfiles]
WDTKernel.sys

[SourceDisksNames]
1=%InstDisk%,

[SourceDisksFiles]
WDTKernel.sys=1
;-------------- Coinstaller installation
[DestinationDirs]
CoInstaller_CopyFiles = 11

[WDTInstall.NTAMD64.CoInstallers]
AddReg=CoInstaller_AddReg
CopyFiles=CoInstaller_CopyFiles

[CoInstaller_CopyFiles]
WdfCoInstaller01009.dll

[SourceDisksFiles]
WdfCoInstaller01009.dll=1 ; make sure the number matches with SourceDisksNames

[CoInstaller_AddReg]
HKR,,CoInstallers32,0x00010000, "WdfCoInstaller01009.dll,WdfCoInstaller"

[WDTInstall.NTAMD64.Wdf]
KmdfService = WDTSVC, WDT_wdfsect

[WDT_wdfsect]
KmdfLibraryVersion = 1.9

[Strings]
FXN             = "Dell"
ClassName       = "WDT Device"
WDTDevDesc      = "Dell OptiPlex XE Watchdog Timer"
WDTServiceDesc  = "Watch Dog Timer"
InstDisk        = "WDT Install Disk"
;*******************************************
;Handy macro substitutions (non-localizable)
SPSVCINST_ASSOCSERVICE = 0x00000002
SERVICE_KERNEL_DRIVER  = 1
SERVICE_DEMAND_START   = 3
SERVICE_SYSTEM_START   = 1
SERVICE_ERROR_NORMAL   = 1
REG_DWORD              = 0x00010001
REG_SZ                 = 0x00000000
