ArmPkg/Library/SemiHostingSerialPortLib/SemiHostingSerialPortLib.inf\r
ArmPkg/Library/SemihostLib/SemihostLib.inf\r
ArmPkg/Library/UncachedMemoryAllocationLib/UncachedMemoryAllocationLib.inf\r
+ ArmPkg/Library/ArmPsciResetSystemLib/ArmPsciResetSystemLib.inf\r
\r
ArmPkg/Drivers/CpuDxe/CpuDxe.inf\r
ArmPkg/Drivers/CpuPei/CpuPei.inf\r