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
24 ModuleEntryPoint.S | GCC
25 ModuleEntryPoint.asm | RVCT
30 MdeModulePkg/MdeModulePkg.dec
31 EmbeddedPkg/EmbeddedPkg.dec
33 ArmPlatformPkg/ArmPlatformPkg.dec
34 IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
45 ExtractGuidedSectionLib
47 PeCoffGetEntryPointLib
53 PrePiHobListPointerLib
61 gArmGlobalVariableGuid
65 gEmbeddedTokenSpaceGuid.PcdCacheEnable
66 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
67 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
70 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
72 gArmTokenSpaceGuid.PcdVFPEnabled
74 gArmTokenSpaceGuid.PcdFdBaseAddress
75 gArmTokenSpaceGuid.PcdFdSize
77 gArmTokenSpaceGuid.PcdFvBaseAddress
78 gArmTokenSpaceGuid.PcdFvSize
80 gArmPlatformTokenSpaceGuid.PcdCPUCoresStackBase
81 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
82 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
84 gArmPlatformTokenSpaceGuid.PcdPeiGlobalVariableSize
86 gArmTokenSpaceGuid.PcdGicDistributorBase
87 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
88 gArmTokenSpaceGuid.PcdGicSgiIntId
90 gArmTokenSpaceGuid.PcdSystemMemoryBase
91 gArmTokenSpaceGuid.PcdSystemMemorySize
92 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
94 gArmPlatformTokenSpaceGuid.PcdCoreCount
95 gArmPlatformTokenSpaceGuid.PcdClusterCount
96 gArmTokenSpaceGuid.PcdArmPrimaryCoreMask
97 gArmTokenSpaceGuid.PcdArmPrimaryCore
98 gArmTokenSpaceGuid.PcdGicPrimaryCoreId
100 gEmbeddedTokenSpaceGuid.PcdPrePiCpuMemorySize
101 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
103 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
104 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
105 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
106 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
107 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
108 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
109 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
110 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
111 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData