MemoryAllocationLib|MdePkg/Library/UefiMemoryAllocationLib/UefiMemoryAllocationLib.inf\r
ReportStatusCodeLib|IntelFrameworkModulePkg/Library/DxeReportStatusCodeLibFramework/DxeReportStatusCodeLib.inf\r
CapsuleLib|MdeModulePkg/Library/DxeCapsuleLibNull/DxeCapsuleLibNull.inf\r
+ ArmPlatformSysConfigLib|ArmPlatformPkg/Library/ArmPlatformSysConfigLibNull/ArmPlatformSysConfigLibNull.inf\r
+\r
+ #\r
+ # PSCI support in EL3 may not be available if we are not running under a PSCI\r
+ # compliant secure firmware, but since the default VExpress EfiResetSystemLib\r
+ # cannot be supported at runtime (due to the fact that the syscfg MMIO registers\r
+ # cannot be runtime remapped), it is our best bet to get ResetSystem functionality\r
+ # on these platforms.\r
+ #\r
+ EfiResetSystemLib|ArmPkg/Library/ArmPsciResetSystemLib/ArmPsciResetSystemLib.inf\r
\r
[LibraryClasses.ARM, LibraryClasses.AARCH64]\r
#\r