From 69d2261016e0ddd7ef2dbe133542134a628be0d5 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Fri, 1 Sep 2006 00:26:32 +0000
Subject: [PATCH] Check that serial port init actually happens

---
 src/core/serial.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/serial.c b/src/core/serial.c
index 6383a48b..d0827481 100644
--- a/src/core/serial.c
+++ b/src/core/serial.c
@@ -149,6 +149,8 @@ static void serial_init ( void ) {
 	int status;
 	int divisor, lcs;
 
+	DBG ( "Serial port %#x initialising\n", UART_BASE );
+
 	divisor = COMBRD;
 	lcs = UART_LCS;