;/*++
;
;Copyright (c) Intel Corporation. All rights reserved.
;
;Module Name:
;
; HSWULTPEP.INF
;
;Abstract:
; INF file for installing HSW-ULT PEP
;
;--*/
[Version]
Signature="$WINDOWS NT$"
Class=System
ClassGuid={4d36e97d-e325-11ce-bfc1-08002be10318}
Provider=%INTC%
CatalogFile=hswultpep.cat
DriverVer=01/30/2013,1.0.5.591
;*****************************************
; Install Section
;*****************************************
[Manufacturer]
%MfgName%=IntelPEP,NTamd64
[IntelPEP.NTamd64]
; DisplayName Section DeviceId
; ----------- ------- --------
%hswultpep.DeviceDesc%= Pep_Device, ACPI\INT33A1
[Pep_Device.NT]
CopyFiles=Pep_Device.NT.Copy
AddProperty=Pep_WDTFSocDeviceCategory
Reboot
[Pep_Device.NT.Copy]
hswultpep.sys
[Pep_LowPowerScenarioSettings]
HKR,PowerSettings\v1\Audio\Default,PlatformIdleStateIndex,0x10001,0x00000000
HKR,PowerSettings\v1\CS\Default,PlatformIdleStateIndex,0x10001,0x00000000
[Pep_WDTFSocDeviceCategory]
{5D078032-6378-437B-8DA5-9B32B7CA3FDD},2,7,,2
[DestinationDirs]
DefaultDestDir = 12
;-------------- Service installation
[Pep_Device.NT.Services]
AddService = hswultpep,0x00000002, hswultpep_Service_Inst
[hswultpep_Service_Inst]
DisplayName = %HSWULTPEP.SVCDESC%
ServiceType = 1 ; SERVICE_KERNEL_DRIVER
StartType = 0 ; SERVICE_BOOT_START
ErrorControl = 1 ; SERVICE_ERROR_NORMAL
ServiceBinary = %12%\hswultpep.sys
LoadOrderGroup = Extended Base
[SourceDisksNames]
1 = %DiskId1%,,,""
[SourceDisksFiles]
hswultpep.sys = 1,,
[Strings]
INTC = "Intel Corp"
MfgName = "Intel Corporation"
ClassName = "Power Engine Plugin"
DiskId1 = "HSW ULT Install Disk"
hswultpep.DeviceDesc = "Intel(R) Core(TM) 4xxxU and 4xxxY Processor Line Power Engine Plug-in"
HSWULTPEP.SVCDESC = "Intel(R) Core(TM) 4xxxU and 4xxxY Processor Line Power Engine Plug-in Driver"
[PackageInfo]
Name=PEP64
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.