3 # Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
4 # Copyright (c) 2012 - 2017, ARM Ltd. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
13 FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882
14 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = InterruptDxeInitialize
29 EmbeddedPkg/EmbeddedPkg.dec
36 UefiBootServicesTableLib
46 gHardwareInterruptProtocolGuid ## PRODUCES
47 gHardwareInterrupt2ProtocolGuid ## PRODUCES
48 gEfiCpuArchProtocolGuid ## CONSUMES ## NOTIFY
51 gArmTokenSpaceGuid.PcdGicDistributorBase
52 gArmTokenSpaceGuid.PcdGicRedistributorsBase
53 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
54 gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy