ArmPkg/Drivers/ArmGic/ArmGicSecLib.inf\r
ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
\r
+ ArmPkg/Library/ArmGenericTimerPhyCounterLib/ArmGenericTimerPhyCounterLib.inf\r
+\r
ArmPkg/Library/ArmSmcLib/ArmSmcLib.inf\r
ArmPkg/Library/ArmSmcLibNull/ArmSmcLibNull.inf\r
\r