3 # Copyright (c) 2018, Intel Corporation. All rights reserved.<BR>
4 # Copyright (c) 2011-2012, ARM Limited. All rights reserved.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = PlatformPei
13 FILE_GUID = 2ad0fc59-2314-4bf3-8633-13fa22a624a0
17 ENTRY_POINT = InitializePlatformPeim
20 # The following information is for reference only and not required by the build tools.
22 # VALID_ARCHITECTURES = IA32 X64 EBC ARM
30 MdeModulePkg/MdeModulePkg.dec
31 EmbeddedPkg/EmbeddedPkg.dec
33 ArmPlatformPkg/ArmPlatformPkg.dec
44 gEfiPeiMasterBootModePpiGuid # PPI ALWAYS_PRODUCED
45 gEfiPeiBootInRecoveryModePpiGuid # PPI SOMETIMES_PRODUCED
48 gArmTokenSpaceGuid.PcdFdBaseAddress
49 gArmTokenSpaceGuid.PcdFdSize
51 gArmTokenSpaceGuid.PcdFvBaseAddress
52 gArmTokenSpaceGuid.PcdFvSize