ArmPlatformPkg/Library/EblCmdLib/EblCmdLib.inf

   1 #/** @file
   2 #
   3 #  Copyright (c) 2010, ARM Ltd. All rights reserved.<BR>
   4 #  This program and the accompanying materials
   5 #  are licensed and made available under the terms and conditions of the BSD License
   6 #  which accompanies this distribution.  The full text of the license may be found at
   7 #  http://opensource.org/licenses/bsd-license.php
   8 #
   9 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11 #
  12 #**/
  13
  14
  15 [Defines]
  16   INF_VERSION                    = 0x00010005
  17   BASE_NAME                      = ArmVeEblCmdLib
  18   FILE_GUID                      = 6085e1ca-0d2d-4ba4-9872-c59b36ffd6ad
  19   MODULE_TYPE                    = UEFI_DRIVER
  20   VERSION_STRING                 = 1.0
  21   LIBRARY_CLASS                  = EblCmdLib|DXE_DRIVER UEFI_APPLICATION UEFI_DRIVER
  22
  23
  24 #
  25 # The following information is for reference only and not required by the build tools.
  26 #
  27 #  VALID_ARCHITECTURES           = IA32 X64 IPF EBC
  28 #
  29
  30 [Sources.common]
  31   EblCmdLib.c
  32   EblCmdMmu.c
  33
  34 [Packages]
  35   MdePkg/MdePkg.dec
  36   MdeModulePkg/MdeModulePkg.dec
  37   EmbeddedPkg/EmbeddedPkg.dec
  38   ArmPkg/ArmPkg.dec
  39
  40 [LibraryClasses]
  41   BaseLib
  42   ArmLib
  43   DebugLib
  44   ArmDisassemblerLib
  45   PerformanceLib
  46   TimerLib
  47
  48 [Protocols]
  49  gEfiDebugSupportProtocolGuid
  50  gEfiLoadedImageProtocolGuid
  51
  52 [Guids]
  53  gEfiDebugImageInfoTableGuid