ArmPlatformPkg/ArmPlatformPkg.dec

   1 #/** @file
   2 # Arm Versatile Express package.
   3 #
   4 #  Copyright (c) 2011, ARM Limited. All rights reserved.
   5 #
   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
  10 #
  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.
  13 #
  14 #**/
  15
  16 [Defines]
  17   DEC_SPECIFICATION              = 0x00010005
  18   PACKAGE_NAME                   = ArmPlatformPkg
  19   PACKAGE_GUID                   = 3308e0a0-1d94-11e0-915c-0002a5d5c51b
  20   PACKAGE_VERSION                = 0.1
  21
  22 ################################################################################
  23 #
  24 # Include Section - list of Include Paths that are provided by this package.
  25 #                   Comments are used for Keywords and Module Types.
  26 #
  27 # Supported Module Types:
  28 #  BASE SEC PEI_CORE PEIM DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER DXE_SAL_DRIVER UEFI_DRIVER UEFI_APPLICATION
  29 #
  30 ################################################################################
  31 [Includes.common]
  32   Include                        # Root include for the package
  33
  34 [Guids.common]
  35   gArmPlatformTokenSpaceGuid    =  { 0x9c0aaed4, 0x74c5, 0x4043, { 0xb4, 0x17, 0xa3, 0x22, 0x38, 0x14, 0xce, 0x76 } }
  36
  37 [PcdsFeatureFlag.common]
  38   gArmPlatformTokenSpaceGuid.PcdStandalone|FALSE|BOOLEAN|0x00000001
  39
  40 [PcdsFixedAtBuild.common]
  41   # This PCD should be a FeaturePcd. But we used this PCD as an '#if' in an ASM file.
  42   # Using a FeaturePcd make a '(BOOLEAN) casting for its value which is not understood by the preprocessor.
  43   gArmPlatformTokenSpaceGuid.PcdMPCoreSupport|0|UINT32|0x00000002
  44
  45   gArmPlatformTokenSpaceGuid.PcdPeiServicePtrAddr|0|UINT32|0x00000003
  46
  47   # Stack for CPU Cores in Secure Mode
  48   gArmPlatformTokenSpaceGuid.PcdCPUCoresSecStackBase|0|UINT32|0x00000004
  49   gArmPlatformTokenSpaceGuid.PcdCPUCoreSecStackSize|0|UINT32|0x00000005
  50
  51   # Stack for CPU Cores in Secure Monitor Mode
  52   gArmPlatformTokenSpaceGuid.PcdCPUCoresSecMonStackBase|0|UINT32|0x00000006
  53   gArmPlatformTokenSpaceGuid.PcdCPUCoreSecMonStackSize|0|UINT32|0x00000007
  54
  55   # Stack for CPU Cores in Non Secure Mode
  56   gArmPlatformTokenSpaceGuid.PcdCPUCoresNonSecStackBase|0|UINT32|0x00000008
  57   gArmPlatformTokenSpaceGuid.PcdCPUCoresNonSecStackSize|0|UINT32|0x00000009
  58
  59   # Size of the region used by UEFI in permanent memory (Reserved 128MB by default)
  60   gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize|0x08000000|UINT32|0x00000015
  61
  62   # Size of the region reserved for fixed address allocations (Reserved 128MB by default)
  63   gArmPlatformTokenSpaceGuid.PcdSystemMemoryFixRegionSize|0x08000000|UINT32|0x00000014