3 # Copyright (c) 2011, ARM Ltd. All rights reserved.<BR>
4 # This program and the accompanying materials
5 # are licensed and made available under the terms and conditions of the BSD License
6 # which accompanies this distribution. The full text of the license may be found at
7 # http://opensource.org/licenses/bsd-license.php
9 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 INF_VERSION = 0x00010005
16 BASE_NAME = ArmPlatformPrePiMPCore
17 FILE_GUID = d959e387-7b91-452c-90e0-a1dbac90ddb8
23 ModuleEntryPoint.S | GCC
24 ModuleEntryPoint.asm | RVCT
31 MdeModulePkg/MdeModulePkg.dec
32 EmbeddedPkg/EmbeddedPkg.dec
34 ArmPlatformPkg/ArmPlatformPkg.dec
35 IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
46 ExtractGuidedSectionLib
48 PeCoffGetEntryPointLib
54 PrePiHobListPointerLib
59 gArmGlobalVariableGuid
62 gEmbeddedTokenSpaceGuid.PcdCacheEnable
63 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
64 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
67 gArmTokenSpaceGuid.PcdVFPEnabled
69 gArmTokenSpaceGuid.PcdFdBaseAddress
70 gArmTokenSpaceGuid.PcdFdSize
72 gArmTokenSpaceGuid.PcdFvBaseAddress
73 gArmTokenSpaceGuid.PcdFvSize
75 gArmPlatformTokenSpaceGuid.PcdCPUCoresStackBase
76 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
77 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
79 gArmPlatformTokenSpaceGuid.PcdPeiGlobalVariableSize
81 gArmTokenSpaceGuid.PcdGicDistributorBase
82 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
84 gArmTokenSpaceGuid.PcdSystemMemoryBase
85 gArmTokenSpaceGuid.PcdSystemMemorySize
86 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
88 gArmPlatformTokenSpaceGuid.PcdClusterCount
89 gArmTokenSpaceGuid.PcdArmPrimaryCoreMask
90 gArmTokenSpaceGuid.PcdArmPrimaryCore
92 gEmbeddedTokenSpaceGuid.PcdPrePiCpuMemorySize
93 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
95 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
96 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
97 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
98 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
99 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
100 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
101 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
102 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
103 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData