;*******************************************************************************
;*                                                                            **
;*                     I N T E L   P R O P R I E T A R Y                      **
;*                                                                            **
;*   COPYRIGHT (c) 2003-2019 BY INTEL CORPORATION. ALL RIGHTS RESERVED.  NO   **
;*   PART  OF  THIS  PROGRAM OR PUBLICATION MAY BE REPRODUCED, TRANSMITTED,   **
;*   TRANSCRIBED, STORED IN A RETRIEVAL  SYSTEM,  OR  TRANSLATED  INTO  ANY   **
;*   LANGUAGE OR COMPUTER LANGUAGE IN ANY FORM OR BY ANY MEANS, ELECTRONIC,   **
;*   MECHANICAL, MAGNETIC, OPTICAL, CHEMICAL, MANUAL, OR OTHERWISE, WITHOUT   **
;*   THE PRIOR WRITTEN PERMISSION OF :                                        **
;*                                                                            **
;*                             INTEL CORPORATION                              **
;*                                                                            **
;*                          2200 MISSION COLLEGE BLVD                         **
;*                                                                            **
;*                     SANTA CLARA, CALIFORNIA 95052-8119                     **
;*                                                                            **
;*******************************************************************************
;
;
; File Name: Gscheci.inf
; Install information file for TeeDriver Driver
;--------- Version Section ---------------------------------------------------

[Version]
Signature="$WINDOWS NT$"
Class=System
ClassGUID={4d36e97d-e325-11ce-bfc1-08002be10318}
Provider=%Provider%
DriverVer = 11/18/2020,2047.100.0.1039
CatalogFile=GscHECI.cat
PnpLockDown=1

[ControlFlags]
; Pnp drivers should not be installable via non-PnP hardware dialogs
ExcludeFromSelect = *

;--------- DestinationDirs Section -------------------------------------------

[DestinationDirs]
DefaultDestDir = 12
GSC_TEE_Files_Driver_W10_x64 = 13


;--------- SourceDiskNames and SourceDiskFiles Section -----------------------
; These sections identify source disks and files for installation.

[SourceDisksNames]
1=%Location%,



[SourceDisksFiles.amd64]
TeeDriverGSCW8x64.sys=1,.

;--------- Manufacturer and Models Sections ----------------------------------

[Manufacturer]
%MfgName% = Intel, NTamd64.10.0



[Intel.ntamd64.10.0]
; DisplayName               Section           DeviceId
%GSC_TEE_DeviceDesc%=GSC_TEE_DDI_W10_x64, VIDEO\INTC_HECI_2   ;Gsc HECI2




;---------- DDInstall Sections -----------------------------------------------
; --------- Windows NT -----------------



[GSC_TEE_DDI_W10_x64]
CopyFiles=GSC_TEE_Files_Driver_W10_x64


[GSC_TEE_DDI_W10_x64.Services]
AddService = GSCx64, %FLG_ADDREG_NOCLOBBER%, GSC_TEE_Service_W10_X64, win10_x64.EventLog

; --------- Files ----------------------

[GSC_TEE_Files_Driver_W10_x64]
TeeDriverGSCW8x64.sys


[GSC_TEE_NT_AddReg.Security]
%SECURITY_STRING%

[GSC_TEE_DDI_W10_x64.HW]
AddReg=GSC_TEE__NT_HW_AddReg

[GSC_TEE__NT_HW_AddReg]
HKR,,DeviceCharacteristics,0x10001,0
HKR,,Security,,%SECURITY_STRING%
HKR, Interrupt Management,, 0x00000010
HKR, Interrupt Management\MessageSignaledInterruptProperties,, 0x00000010
HKR, Interrupt Management\MessageSignaledInterruptProperties, MSISupported, 0x00010001, 1


; --------- Service ----------------------

[GSC_TEE_Service_W10_X64]
DisplayName    = %GSC_TEE_SvcDesc%
ServiceType    = %SERVICE_KERNEL_DRIVER%
StartType      = %SERVICE_DEMAND_START%
ErrorControl   = %SERVICE_ERROR_NORMAL%
ServiceBinary  = %13%\TeeDriverGSCW8x64.sys
LoadOrderGroup = Extended Base
AddReg=GSC_TEE_NT_AddReg

; --------- Registry ----------------------

[GSC_TEE_NT_AddReg]
;reg-root,[subkey],[value-entry-name],[flags],[value]
HKR,Parameters,WdTimerTic,%REG_DWORD%,120
HKR,Parameters,LogPages,%REG_DWORD%,0x10
HKR,Parameters,VerboseOn,%REG_DWORD%,0x1



;-----------------------------------------------------------------------------
; Common base for all drivers for Eventlog and TextModeFlags
;

[win10_x64.EventLog]
AddReg = win10_x64.AddEventLog.reg

[win10_x64.AddEventLog.reg]
HKR, , EventMessageFile, 0x00020000, "%13%\TeeDriverGSCW8x64.sys"
HKR, , TypesSupported,   0x00010001, 7



[GSC_TEE_DDI_W10_x64.Wdf]
KmdfService =  GSCx64, TeeDriverGSC_wdfsect

[TeeDriverGSC_wdfsect]
KmdfLibraryVersion = 1.13

;--------- Strings Section ---------------------------------------------------

[Strings]
;---------------------------------------------------------------------------------------------------
Provider = "Intel"
MfgName = "Intel"
GSC_TEE_DeviceDesc = "Intel(R) Graphics System Controller Firmware Interface"
GSC_TEE_SvcDesc = "Intel(R) Graphics System Controller Firmware Interface"
Location = "Intel(R) Graphics System Controller Firmware Interface installation"

REG_SZ                      = 0x00000000
REG_MULTI_SZ                = 0x00010000
REG_EXPAND_SZ               = 0x00020000
REG_BINARY                  = 0x00000001
REG_DWORD                   = 0x00010001
REG_NONE                    = 0x00020001

SERVICE_KERNEL_DRIVER       = 0x00000001
SERVICE_FILE_SYSTEM_DRIVER  = 0x00000002
SERVICE_ADAPTER             = 0x00000004
SERVICE_RECOGNIZER_DRIVER   = 0x00000008

SERVICE_BOOT_START          = 0x0
SERVICE_SYSTEM_START        = 0x1
SERVICE_AUTO_START          = 0x2
SERVICE_DEMAND_START        = 0x3
SERVICE_DISABLED            = 0x4

SERVICE_ERROR_IGNORE        = 0x00000000
SERVICE_ERROR_NORMAL        = 0x00000001
SERVICE_ERROR_SEVERE        = 0x00000002
SERVICE_ERROR_CRITICAL      = 0x00000003

FLG_ADDREG_NOCLOBBER        = 0x00000002
FLG_ADDREG_DELVAL           = 0x00000004
FLG_ADDREG_APPEND           = 0x00000008
FLG_ADDREG_KEYONLY          = 0x00000010
FLG_ADDREG_OVERWRITEONLY    = 0x00000020
FLG_ADDREG_64BITKEY         = 0x00001000
FLG_ADDREG_KEYONLY_COMMON   = 0x00002000
FLG_ADDREG_32BITKEY         = 0x00004000

SPSVCINST_STOPSERVICE			= 0x00000200
SPSVCINST_DELEGSC_TEEVENTLOGENTRY	= 0x00000004	
SECURITY_STRING = "D:P(A;CI;GA;;;BA)(A;CI;GA;;;SY)(A;CI;GA;;;LS)"


