ArmPkg/Library/ArmLib/ArmV7/ArmV7MPCoreLib.inf

   1 #/** @file
   2 # Helper Library for ARMv7 MPCore architecture
   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
  17 [Defines]
  18   INF_VERSION                    = 0x00010005
  19   BASE_NAME                      = ArmV7Lib
  20   FILE_GUID                      = 411cdfd8-f964-4b9d-a3e3-1719a9c15559
  21   MODULE_TYPE                    = DXE_DRIVER
  22   VERSION_STRING                 = 1.0
  23   LIBRARY_CLASS                  = ArmLib
  24
  25 [Sources.common]
  26   ArmLibSupport.S    | GCC
  27   ArmLibSupport.asm  | RVCT
  28   ../Common/ArmLib.c
  29
  30   ArmV7Support.S    | GCC
  31   ArmV7Support.asm  | RVCT
  32
  33   ArmV7Lib.c
  34   ArmV7Mmu.c
  35
  36   ArmV7MPCore.c
  37   ArmV7MPCoreHelper.S   | GCC
  38   ArmV7MPCoreHelper.asm   | RVCT
  39
  40 [Packages]
  41   ArmPkg/ArmPkg.dec
  42   MdePkg/MdePkg.dec
  43
  44 [LibraryClasses]
  45   IoLib
  46   MemoryAllocationLib
  47
  48 [Protocols]
  49   gEfiCpuArchProtocolGuid
  50
  51 [FixedPcd]
  52   gArmTokenSpaceGuid.PcdArmCacheOperationThreshold