ArmPkg/Library/ArmLib/AArch64/AArch64Lib.inf

   1 #/** @file
   2 #
   3 # Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
   4 # Portions copyright (c) 2011 - 2014, 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 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12 #
  13 #
  14 #**/
  15
  16 [Defines]
  17   INF_VERSION                    = 0x00010005
  18   BASE_NAME                      = AArch64Lib
  19   FILE_GUID                      = ef20ddf5-b334-47b3-94cf-52ff44c29138
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22   LIBRARY_CLASS                  = ArmLib
  23
  24 [Sources.AARCH64]
  25   AArch64Lib.c
  26   AArch64Mmu.c
  27   AArch64ArchTimer.c
  28   ArmLibSupportV8.S                   | GCC
  29   AArch64Support.S                    | GCC
  30   AArch64ArchTimerSupport.S           | GCC
  31
  32   ../Common/AArch64/ArmLibSupport.S   | GCC
  33   ../Common/ArmLib.c
  34
  35 [Packages]
  36   ArmPkg/ArmPkg.dec
  37   MdePkg/MdePkg.dec
  38
  39 [LibraryClasses]
  40   MemoryAllocationLib
  41
  42 [Protocols]
  43   gEfiCpuArchProtocolGuid
  44
  45 [FixedPcd]
  46   gArmTokenSpaceGuid.PcdArmCacheOperationThreshold