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
23 Arm/ModuleEntryPoint.S | GCC
24 Arm/ModuleEntryPoint.asm | RVCT
28 AArch64/ModuleEntryPoint.S
32 MdeModulePkg/MdeModulePkg.dec
33 EmbeddedPkg/EmbeddedPkg.dec
35 ArmPlatformPkg/ArmPlatformPkg.dec
46 ExtractGuidedSectionLib
54 PrePiHobListPointerLib
63 gEfiFirmwarePerformanceGuid
66 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
67 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
70 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
73 gArmTokenSpaceGuid.PcdVFPEnabled
75 gArmTokenSpaceGuid.PcdFdBaseAddress
76 gArmTokenSpaceGuid.PcdFdSize
78 gArmTokenSpaceGuid.PcdFvBaseAddress
79 gArmTokenSpaceGuid.PcdFvSize
81 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
82 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
84 gArmTokenSpaceGuid.PcdGicDistributorBase
85 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
86 gArmTokenSpaceGuid.PcdGicSgiIntId
88 gArmTokenSpaceGuid.PcdSystemMemoryBase
89 gArmTokenSpaceGuid.PcdSystemMemorySize
90 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
92 gArmPlatformTokenSpaceGuid.PcdCoreCount
94 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
96 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
97 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
98 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
99 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
100 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
101 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
102 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
103 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
104 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData