VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/ArmPkg/Drivers/ArmGic/ArmGicDxe.inf@ 101489

Last change on this file since 101489 was 99464, checked in by vboxsync, 2 years ago

Devices/EFI/Firmware: Restore ArmPkg, ArmVirtPkg, ArmPlatformPkg in order to be able to build Aarch64 and Aarch32 firmware images for the virt platform, bugref:10400

  • Property svn:eol-style set to native
File size: 1.2 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[Packages]
28 MdePkg/MdePkg.dec
29 EmbeddedPkg/EmbeddedPkg.dec
30 ArmPkg/ArmPkg.dec
31
32[LibraryClasses]
33 ArmGicLib
34 BaseLib
35 UefiLib
36 UefiBootServicesTableLib
37 DebugLib
38 PrintLib
39 MemoryAllocationLib
40 UefiDriverEntryPoint
41 IoLib
42 PcdLib
43 UefiLib
44
45[Protocols]
46 gHardwareInterruptProtocolGuid ## PRODUCES
47 gHardwareInterrupt2ProtocolGuid ## PRODUCES
48 gEfiCpuArchProtocolGuid ## CONSUMES ## NOTIFY
49
50[Pcd.common]
51 gArmTokenSpaceGuid.PcdGicDistributorBase
52 gArmTokenSpaceGuid.PcdGicRedistributorsBase
53 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
54 gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy
55
56[Depex]
57 TRUE
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