;/*++
;
;Copyright (c) 2010-2015 Intel Corporation All rights Reserved
;
;Module Name:
;
;    sgx_driver.inf
;
;Abstract:
;    INF file for installing the Software Guard Extensions Device Driver
;
;--*/
[Version]
Signature="$Windows NT$"
Class=System
ClassGuid={4D36E97D-E325-11CE-BFC1-08002BE10318}
Provider=%INTC%
DriverVer=06/11/2015,1.0.26805.1389
CatalogFile=sgx_driver.cat

[DestinationDirs]
DefaultDestDir = 12

[SourceDisksNames]
1 = %DiskId1%,,,""

[SourceDisksFiles]
sgx_driver.sys  = 1,,

;*****************************************
; Software Guard Extensions Device Driver Install Section
;*****************************************

[Manufacturer]
%StdMfg%=Standard,NTamd64.6.1

[Standard.NTamd64.6.1]
;
; These is the Software Guard Extensions Device PnP ID
;
%SGXEPC.DeviceDesc%=SGXEPC_Device, acpi\int0e0c

[SGXEPC_Device.NT]
CopyFiles=Drivers_Dir

[SGXEPC_Device.NT.HW]
AddReg=SGXEPC_Device.NT.AddReg, IntelSGX_EPC_Device.AddReg

[SGXEPC_Device.NT.AddReg]                            
HKR,,DeviceCharacteristics,0x10001,0x0100         ; Use same security checks on relative opens
HKR,,DeviceType,0x10001,FILE_DEVICE_UNKNOWN       ; Unknown Device
HKR,,Security,,"D:P(A;;GRGW;;;WD)"
                                                                                         
[IntelSGX_EPC_Device.AddReg]
HKR,,AttributesFlagsL,0x10001,0x36
HKR,,AttributesFlagsH,0x10001,0x0
HKR,,AttributesXFrameL,0x10001,0x1f
HKR,,AttributesXFrameH,0x10001,0x0
HKR,,AttributesMiscSelect,0x10001,0x0
                                                                           
[Drivers_Dir]
sgx_driver.sys                                                    


;-------------- Service installation
[SGXEPC_Device.NT.Services]
AddService = SGXEPC,%SPSVCINST_ASSOCSERVICE%, SGXEPC_Service_Inst

; -------------- busenum driver install sections
[SGXEPC_Service_Inst]
DisplayName    = %SGXEPC.SVCDESC%
ServiceType    = 1               ; SERVICE_KERNEL_DRIVER
StartType      = 3               ; SERVICE_DEMAND_START 
ErrorControl   = 1               ; SERVICE_ERROR_NORMAL
ServiceBinary  = %12%\sgx_driver.sys



[Strings]
SPSVCINST_ASSOCSERVICE= 0x00000002
INTC = "Intel Corporation"
StdMfg = "(Standard system devices)"
DiskId1 = "Software Guard Extensions Device Driver"
SGXEPC.DeviceDesc = "Software Guard Extensions Device"
SGXEPC.SVCDESC = "Software Guard Extensions Device Driver"

