[Defines]\r
INF_VERSION = 0x00010005\r
BASE_NAME = ArmGicDxe\r
- FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882\r
+ FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882 # gArmGicDxeFileGuid\r
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
\r
UefiDriverEntryPoint\r
IoLib\r
PcdLib\r
+ UefiLib\r
\r
[Protocols]\r
gHardwareInterruptProtocolGuid\r
gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy\r
\r
[Depex]\r
- gEfiCpuArchProtocolGuid\r
+ TRUE\r