3 # Copyright (c) 2011-2012, 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 | GCC
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.PcdCacheEnable
74 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
75 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
78 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
80 gArmTokenSpaceGuid.PcdVFPEnabled
82 gArmTokenSpaceGuid.PcdFdBaseAddress
83 gArmTokenSpaceGuid.PcdFdSize
85 gArmTokenSpaceGuid.PcdFvBaseAddress
86 gArmTokenSpaceGuid.PcdFvSize
88 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
89 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
91 gArmPlatformTokenSpaceGuid.PcdPeiGlobalVariableSize
93 gArmTokenSpaceGuid.PcdGicDistributorBase
94 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
95 gArmTokenSpaceGuid.PcdGicSgiIntId
97 gArmTokenSpaceGuid.PcdSystemMemoryBase
98 gArmTokenSpaceGuid.PcdSystemMemorySize
99 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
101 gArmPlatformTokenSpaceGuid.PcdCoreCount
102 gArmPlatformTokenSpaceGuid.PcdClusterCount
103 gArmTokenSpaceGuid.PcdArmPrimaryCore
105 gEmbeddedTokenSpaceGuid.PcdPrePiCpuMemorySize
106 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
108 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
109 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
110 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
111 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
112 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
113 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
114 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
115 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
116 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData