3 # (C) Copyright 2015 Hewlett-Packard Development Company, L.P.<BR>
4 # Copyright (c) 2011-2014, ARM Ltd. All rights reserved.<BR>
6 # This program and the accompanying materials
7 # are licensed and made available under the terms and conditions of the BSD License
8 # which accompanies this distribution. The full text of the license may be found at
9 # http://opensource.org/licenses/bsd-license.php
11 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
17 INF_VERSION = 0x00010005
18 BASE_NAME = ArmPlatformPrePiMPCore
19 FILE_GUID = d959e387-7b91-452c-90e0-a1dbac90ddb8
29 Arm/ModuleEntryPoint.S | GCC
30 Arm/ModuleEntryPoint.asm | RVCT
34 AArch64/ModuleEntryPoint.S
38 MdeModulePkg/MdeModulePkg.dec
39 EmbeddedPkg/EmbeddedPkg.dec
41 ArmPlatformPkg/ArmPlatformPkg.dec
42 IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
53 ExtractGuidedSectionLib
55 PeCoffGetEntryPointLib
62 PrePiHobListPointerLib
73 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
74 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
77 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
80 gArmTokenSpaceGuid.PcdVFPEnabled
82 gArmTokenSpaceGuid.PcdFdBaseAddress
83 gArmTokenSpaceGuid.PcdFdSize
85 gArmTokenSpaceGuid.PcdFvBaseAddress
86 gArmTokenSpaceGuid.PcdFvSize
88 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
89 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
91 gArmTokenSpaceGuid.PcdGicDistributorBase
92 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
93 gArmTokenSpaceGuid.PcdGicSgiIntId
95 gArmTokenSpaceGuid.PcdSystemMemoryBase
96 gArmTokenSpaceGuid.PcdSystemMemorySize
97 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
99 gArmPlatformTokenSpaceGuid.PcdCoreCount
101 gEmbeddedTokenSpaceGuid.PcdPrePiCpuMemorySize
102 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
104 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
105 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
106 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
107 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
108 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
109 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
110 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
111 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
112 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData