ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
ArmPkg/Drivers/ArmGic/ArmGicLib.inf\r
ArmPkg/Drivers/ArmGic/ArmGicSecLib.inf\r
+ ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.inf\r
ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
\r
ArmPkg/Library/ArmGenericTimerPhyCounterLib/ArmGenericTimerPhyCounterLib.inf\r