#include <Library/CacheMaintenanceLib.h>\r
#include <Library/DebugAgentLib.h>\r
#include <Library/ArmLib.h>\r
+#include <Library/PrintLib.h>\r
+#include <Library/SerialPortLib.h>\r
\r
#include "PrePeiCore.h"\r
\r
*PpiListSize = sizeof (gCommonPpiTable) + PlatformPpiListSize;\r
}\r
\r
+/**\r
+\r
+ Prints firmware version and build time to serial console.\r
+\r
+**/\r
+STATIC\r
+VOID\r
+PrintFirmwareVersion (\r
+ VOID\r
+ )\r
+{\r
+ CHAR8 Buffer[100];\r
+ UINTN CharCount;\r
+\r
+ CharCount = AsciiSPrint (\r
+ Buffer,\r
+ sizeof (Buffer),\r
+ "UEFI firmware (version %s built at %a on %a)\n\r",\r
+ (CHAR16 *)PcdGetPtr (PcdFirmwareVersionString),\r
+ __TIME__,\r
+ __DATE__\r
+ );\r
+ SerialPortWrite ((UINT8 *)Buffer, CharCount);\r
+}\r
+\r
VOID\r
CEntryPoint (\r
IN UINTN MpId,\r
// called.\r
ProcessLibraryConstructorList ();\r
\r
+ PrintFirmwareVersion ();\r
+\r
// Initialize the Debug Agent for Source Level Debugging\r
InitializeDebugAgent (DEBUG_AGENT_INIT_POSTMEM_SEC, NULL, NULL);\r
SaveAndSetDebugTimerInterrupt (TRUE);\r