3 # Copyright (c) 2011-2014, ARM Ltd. All rights reserved.<BR>
5 # This program and the accompanying materials
6 # are licensed and made available under the terms and conditions of the BSD License
7 # which accompanies this distribution. 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.
16 INF_VERSION = 0x00010005
17 BASE_NAME = ArmPlatformPrePiMPCore
18 FILE_GUID = d959e387-7b91-452c-90e0-a1dbac90ddb8
28 Arm/ModuleEntryPoint.S | GCC
29 Arm/ModuleEntryPoint.asm | RVCT
33 AArch64/ModuleEntryPoint.S
37 MdeModulePkg/MdeModulePkg.dec
38 EmbeddedPkg/EmbeddedPkg.dec
40 ArmPlatformPkg/ArmPlatformPkg.dec
41 IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
52 ExtractGuidedSectionLib
54 PeCoffGetEntryPointLib
61 PrePiHobListPointerLib
69 gArmGlobalVariableGuid
73 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
74 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
77 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
79 gArmTokenSpaceGuid.PcdVFPEnabled
81 gArmTokenSpaceGuid.PcdFdBaseAddress
82 gArmTokenSpaceGuid.PcdFdSize
84 gArmTokenSpaceGuid.PcdFvBaseAddress
85 gArmTokenSpaceGuid.PcdFvSize
87 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
88 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
90 gArmPlatformTokenSpaceGuid.PcdPeiGlobalVariableSize
92 gArmTokenSpaceGuid.PcdGicDistributorBase
93 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
94 gArmTokenSpaceGuid.PcdGicSgiIntId
96 gArmTokenSpaceGuid.PcdSystemMemoryBase
97 gArmTokenSpaceGuid.PcdSystemMemorySize
98 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
100 gArmPlatformTokenSpaceGuid.PcdCoreCount
102 gEmbeddedTokenSpaceGuid.PcdPrePiCpuMemorySize
103 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
105 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
106 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
107 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
108 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
109 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
110 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
111 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
112 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
113 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData