[Defines]\r
INF_VERSION = 0x00010005\r
BASE_NAME = ArmGicDxe\r
- FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882 # gArmGicDxeFileGuid\r
+ FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882\r
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
\r
UefiLib\r
\r
[Protocols]\r
- gHardwareInterruptProtocolGuid\r
- gHardwareInterrupt2ProtocolGuid\r
- gEfiCpuArchProtocolGuid\r
+ gHardwareInterruptProtocolGuid ## PRODUCES\r
+ gHardwareInterrupt2ProtocolGuid ## PRODUCES\r
+ gEfiCpuArchProtocolGuid ## CONSUMES ## NOTIFY\r
\r
[Pcd.common]\r
gArmTokenSpaceGuid.PcdGicDistributorBase\r