VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/ArmPkg/Drivers/ArmGicDxe/ArmGicDxe.inf@ 108794

Last change on this file since 108794 was 108794, checked in by vboxsync, 2 weeks ago

Devices/EFI/FirmwareNew: Merge edk2-stable202502 from the vendor branch and make it build for the important platforms, bugref:4643

  • Property svn:eol-style set to native
File size: 1.3 KB
Line 
1#/** @file
2#
3# Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
4# Copyright (c) 2012 - 2017, ARM Ltd. All rights reserved.<BR>
5#
6# SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8#**/
9
10[Defines]
11 INF_VERSION = 0x00010005
12 BASE_NAME = ArmGicDxe
13 FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882
14 MODULE_TYPE = DXE_DRIVER
15 VERSION_STRING = 1.0
16
17 ENTRY_POINT = InterruptDxeInitialize
18
19[Sources.common]
20 ArmGicDxe.h
21 ArmGicDxe.c
22 ArmGicCommonDxe.c
23
24 GicV2/ArmGicV2Dxe.c
25 GicV3/ArmGicV3Dxe.c
26
27[Sources.ARM]
28 GicV3/Arm/ArmGicV3.S | GCC
29
30[Sources.AARCH64]
31 GicV3/AArch64/ArmGicV3.S
32
33[Packages]
34 MdePkg/MdePkg.dec
35 EmbeddedPkg/EmbeddedPkg.dec
36 ArmPkg/ArmPkg.dec
37
38[LibraryClasses]
39 ArmLib
40 BaseLib
41 UefiLib
42 UefiBootServicesTableLib
43 DebugLib
44 PrintLib
45 MemoryAllocationLib
46 UefiDriverEntryPoint
47 IoLib
48 PcdLib
49 UefiLib
50
51[Protocols]
52 gHardwareInterruptProtocolGuid ## PRODUCES
53 gHardwareInterrupt2ProtocolGuid ## PRODUCES
54 gEfiCpuArchProtocolGuid ## CONSUMES
55
56[Pcd.common]
57 gArmTokenSpaceGuid.PcdGicDistributorBase
58 gArmTokenSpaceGuid.PcdGicRedistributorsBase
59 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
60
61[Depex]
62 gEfiCpuArchProtocolGuid
Note: See TracBrowser for help on using the repository browser.

© 2025 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette