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
28 EmbeddedPkg/EmbeddedPkg.dec
35 UefiBootServicesTableLib
45 gHardwareInterruptProtocolGuid ## PRODUCES
46 gHardwareInterrupt2ProtocolGuid ## PRODUCES
47 gEfiCpuArchProtocolGuid ## CONSUMES ## NOTIFY
50 gArmTokenSpaceGuid.PcdGicDistributorBase
51 gArmTokenSpaceGuid.PcdGicRedistributorsBase
52 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
53 gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy