3 # Copyright (c) 1999 - 2014, Intel Corporation. All rights reserved
5 # This program and the accompanying materials are licensed and made available under
6 # the terms and conditions of the BSD License that accompanies this distribution.
7 # The full text of the license may be found at
8 # http://opensource.org/licenses/bsd-license.php.
10 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
21 # Component description file for SMM Platform handler module
26 INF_VERSION = 0x00010005
27 BASE_NAME = PlatformSmm
28 FILE_GUID = 99C20A37-042A-46e2-80F4-E4027FDBC86F
29 MODULE_TYPE = DXE_SMM_DRIVER
31 ENTRY_POINT = InitializePlatformSmm
32 PI_SPECIFICATION_VERSION = 0x0001000A
35 # The following information is for reference only and not required by the build tools.
37 # VALID_ARCHITECTURES = IA32 X64
46 UefiBootServicesTableLib
60 gEfiAcpiVariableCompatiblityGuid
65 gEfiMdeModulePkgTokenSpaceGuid.PcdDxeIplSwitchToLongMode
68 gEfiSmmBaseProtocolGuid
69 gEfiSmmIchnDispatchProtocolGuid
70 gEfiGlobalNvsAreaProtocolGuid
71 gEfiSmmSwDispatchProtocolGuid
72 gEfiSmmPowerButtonDispatchProtocolGuid
73 gEfiSmmSxDispatchProtocolGuid
74 gEfiSmmVariableProtocolGuid
75 gEfiCpuIo2ProtocolGuid
79 MdeModulePkg/MdeModulePkg.dec
80 IntelFrameworkPkg/IntelFrameworkPkg.dec
81 Vlv2DeviceRefCodePkg/Vlv2DeviceRefCodePkg.dec
82 Vlv2TbltDevicePkg/PlatformPkg.dec
83 IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
86 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
89 gEfiSmmBaseProtocolGuid AND
90 gEfiSmmAccess2ProtocolGuid AND
91 gEfiSmmPowerButtonDispatchProtocolGuid AND
92 gEfiSmmSxDispatchProtocolGuid AND
93 gEfiSmmIchnDispatchProtocolGuid AND
94 gEfiSmmSwDispatchProtocolGuid AND
95 gEfiVariableArchProtocolGuid AND
96 gEfiVariableWriteArchProtocolGuid AND
97 gEfiGlobalNvsAreaProtocolGuid