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
47 ExtractGuidedSectionLib
55 PrePiHobListPointerLib
64 gEfiFirmwarePerformanceGuid
67 gEmbeddedTokenSpaceGuid.PcdPrePiProduceMemoryTypeInformationHob
68 gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores
71 gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString
74 gArmTokenSpaceGuid.PcdVFPEnabled
76 gArmTokenSpaceGuid.PcdFdBaseAddress
77 gArmTokenSpaceGuid.PcdFdSize
79 gArmTokenSpaceGuid.PcdFvBaseAddress
80 gArmTokenSpaceGuid.PcdFvSize
82 gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize
83 gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize
85 gArmTokenSpaceGuid.PcdGicDistributorBase
86 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
87 gArmTokenSpaceGuid.PcdGicSgiIntId
89 gArmTokenSpaceGuid.PcdSystemMemoryBase
90 gArmTokenSpaceGuid.PcdSystemMemorySize
91 gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize
93 gArmPlatformTokenSpaceGuid.PcdCoreCount
95 gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize
97 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIReclaimMemory
98 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiACPIMemoryNVS
99 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiReservedMemoryType
100 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData
101 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesCode
102 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesCode
103 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiBootServicesData
104 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderCode
105 gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiLoaderData