**/\r
\r
#include <PiPei.h>\r
+#include <Pi/PiBootMode.h>\r
\r
#include <Library/PrePiLib.h>\r
#include <Library/PrintLib.h>\r
BuildCpuHob (PcdGet8 (PcdPrePiCpuMemorySize), PcdGet8 (PcdPrePiCpuIoSize));\r
\r
// Set the Boot Mode\r
- SetBootMode (ArmPlatformGetBootMode ());\r
+ SetBootMode (BOOT_WITH_FULL_CONFIGURATION);\r
\r
// Initialize Platform HOBs (CpuHob and FvHob)\r
Status = PlatformPeim ();\r
{\r
UINT64 StartTimeStamp;\r
\r
- // Initialize the platform specific controllers\r
- ArmPlatformInitialize (MpId);\r
-\r
if (PerformanceMeasurementEnabled ()) {\r
// Initialize the Timer Library to setup the Timer HW controller\r
TimerConstructor ();\r
#include <Library/MemoryAllocationLib.h>\r
#include <Library/HobLib.h>\r
#include <Library/SerialPortLib.h>\r
-#include <Library/ArmPlatformLib.h>\r
\r
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r