#include <Protocol/PlatformBootManager.h>\r
#include <Guid/EventGroup.h>\r
#include <Guid/TtyTerm.h>\r
+#include <Guid/SerialPortLibVendor.h>\r
\r
#include "PlatformBm.h"\r
\r
} PLATFORM_SERIAL_CONSOLE;\r
#pragma pack ()\r
\r
-#define SERIAL_DXE_FILE_GUID { \\r
- 0xD3987D4B, 0x971A, 0x435F, \\r
- { 0x8C, 0xAF, 0x49, 0x67, 0xEB, 0x62, 0x72, 0x41 } \\r
- }\r
-\r
STATIC PLATFORM_SERIAL_CONSOLE mSerialConsole = {\r
//\r
// VENDOR_DEVICE_PATH SerialDxe\r
//\r
{\r
{ HARDWARE_DEVICE_PATH, HW_VENDOR_DP, DP_NODE_LEN (VENDOR_DEVICE_PATH) },\r
- SERIAL_DXE_FILE_GUID\r
+ EDKII_SERIAL_PORT_LIB_VENDOR_GUID\r
},\r
\r
//\r