ArmPkg/Drivers/CpuDxe/CpuDxe.inf

   1 #%HEADER%
   2 #/** @file
   3 #
   4 #  DXE CPU driver
   5 #
   6 #  Copyright (c) 2009, Apple Inc. <BR>
   7 #  All rights reserved. This program and the accompanying materials
   8 #  are licensed and made available under the terms and conditions of the BSD License
   9 #  which accompanies this distribution.  The full text of the license may be found at
  10 #  http://opensource.org/licenses/bsd-license.php
  11 #
  12 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  13 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  14 #
  15 #**/
  16
  17 [Defines]
  18   INF_VERSION                    = 0x00010005
  19   BASE_NAME                      = ArmCpuDxe
  20   FILE_GUID                      = B8D9777E-D72A-451F-9BDB-BAFB52A68415
  21   MODULE_TYPE                    = DXE_DRIVER
  22   VERSION_STRING                 = 1.0
  23
  24   ENTRY_POINT                    = CpuDxeInitialize
  25
  26 [Sources.ARM]
  27   CpuDxe.c
  28   CpuDxe.h
  29   DebugSupport.c
  30   Exception.c
  31   ExceptionSupport.asm | RVCT
  32   ExceptionSupport.S   | GCC
  33
  34 [Packages]
  35   ArmPkg/ArmPkg.dec
  36   EmbeddedPkg/EmbeddedPkg.dec
  37   MdePkg/MdePkg.dec
  38
  39 [LibraryClasses]
  40   BaseMemoryLib
  41   CacheMaintenanceLib
  42   UefiDriverEntryPoint
  43   ArmLib
  44
  45 [Protocols]
  46   gEfiCpuArchProtocolGuid
  47   gEfiDebugSupportPeriodicCallbackProtocolGuid
  48
  49 [Pcd.common]
  50   gArmTokenSpaceGuid.PcdCpuVectorBaseAddress
  51
  52 [FeaturePcd.common]
  53   gArmTokenSpaceGuid.PcdCpuDxeProduceDebugSupport
  54
  55 [depex]
  56   gHardwareInterruptProtocolGuid