314965ca4afe5ddfc3bb4f2e6c552b2cc6fbbe94
[mirror_edk2.git] / 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