3 # (C) Copyright 2015 Hewlett-Packard Development Company, L.P.<BR>
4 # Copyright (c) 2011-2017, ARM Ltd. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = ArmPlatformPrePiMPCore
13 FILE_GUID = d959e387-7b91-452c-90e0-a1dbac90ddb8
24 Arm/ModuleEntryPoint.S | GCC
25 Arm/ModuleEntryPoint.asm | RVCT
29 AArch64/ModuleEntryPoint.S
33 MdeModulePkg/MdeModulePkg.dec
34 EmbeddedPkg/EmbeddedPkg.dec
36 ArmPlatformPkg/ArmPlatformPkg.dec
48 ExtractGuidedSectionLib
56 PrePiHobListPointerLib
65 gEfiFirmwarePerformanceGuid
68 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
69 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
72 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
75 gArmTokenSpaceGuid.PcdVFPEnabled
77 gArmTokenSpaceGuid.PcdFdBaseAddress
78 gArmTokenSpaceGuid.PcdFdSize
80 gArmTokenSpaceGuid.PcdFvBaseAddress
81 gArmTokenSpaceGuid.PcdFvSize
83 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
84 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
86 gArmTokenSpaceGuid.PcdGicDistributorBase
87 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
88 gArmTokenSpaceGuid.PcdGicSgiIntId
90 gArmTokenSpaceGuid.PcdSystemMemoryBase
91 gArmTokenSpaceGuid.PcdSystemMemorySize
92 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
94 gArmPlatformTokenSpaceGuid.PcdCoreCount
96 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
98 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
99 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
100 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
101 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
102 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
103 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
104 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
105 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
106 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData