| #/** @file |
| # Arm Versatile Express package. |
| # |
| # Copyright (c) 2011, ARM Limited. All rights reserved. |
| # |
| # This program and the accompanying materials |
| # are licensed and made available under the terms and conditions of the BSD License |
| # which accompanies this distribution. The full text of the license may be found at |
| # http://opensource.org/licenses/bsd-license.php |
| # |
| # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. |
| # |
| #**/ |
| |
| [Defines] |
| DEC_SPECIFICATION = 0x00010005 |
| PACKAGE_NAME = ArmPlatformPkg |
| PACKAGE_GUID = 3308e0a0-1d94-11e0-915c-0002a5d5c51b |
| PACKAGE_VERSION = 0.1 |
| |
| ################################################################################ |
| # |
| # Include Section - list of Include Paths that are provided by this package. |
| # Comments are used for Keywords and Module Types. |
| # |
| # Supported Module Types: |
| # BASE SEC PEI_CORE PEIM DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER DXE_SAL_DRIVER UEFI_DRIVER UEFI_APPLICATION |
| # |
| ################################################################################ |
| [Includes.common] |
| Include # Root include for the package |
| |
| [Guids.common] |
| gArmPlatformTokenSpaceGuid = { 0x9c0aaed4, 0x74c5, 0x4043, { 0xb4, 0x17, 0xa3, 0x22, 0x38, 0x14, 0xce, 0x76 } } |
| |
| [PcdsFeatureFlag.common] |
| gArmPlatformTokenSpaceGuid.PcdStandalone|FALSE|BOOLEAN|0x00000001 |
| |
| [PcdsFixedAtBuild.common] |
| # This PCD should be a FeaturePcd. But we used this PCD as an '#if' in an ASM file. |
| # Using a FeaturePcd make a '(BOOLEAN) casting for its value which is not understood by the preprocessor. |
| gArmPlatformTokenSpaceGuid.PcdMPCoreSupport|0|UINT32|0x00000002 |
| |
| gArmPlatformTokenSpaceGuid.PcdPeiServicePtrAddr|0|UINT32|0x00000003 |
| |
| # Stack for CPU Cores in Secure Mode |
| gArmPlatformTokenSpaceGuid.PcdCPUCoresSecStackBase|0|UINT32|0x00000004 |
| gArmPlatformTokenSpaceGuid.PcdCPUCoreSecStackSize|0|UINT32|0x00000005 |
| |
| # Stack for CPU Cores in Secure Monitor Mode |
| gArmPlatformTokenSpaceGuid.PcdCPUCoresSecMonStackBase|0|UINT32|0x00000006 |
| gArmPlatformTokenSpaceGuid.PcdCPUCoreSecMonStackSize|0|UINT32|0x00000007 |
| |
| # Stack for CPU Cores in Non Secure Mode |
| gArmPlatformTokenSpaceGuid.PcdCPUCoresNonSecStackBase|0|UINT32|0x00000008 |
| gArmPlatformTokenSpaceGuid.PcdCPUCoresNonSecStackSize|0|UINT32|0x00000009 |
| |
| # Size of the region used by UEFI in permanent memory (Reserved 128MB by default) |
| gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize|0x08000000|UINT32|0x00000015 |
| |
| # Size of the region reserved for fixed address allocations (Reserved 128MB by default) |
| gArmPlatformTokenSpaceGuid.PcdSystemMemoryFixRegionSize|0x08000000|UINT32|0x00000014 |