Check that serial port init actually happens

diff --git a/src/core/serial.c b/src/core/serial.c
index 6383a48..d082748 100644 (file)
--- a/src/core/serial.c
+++ b/src/core/serial.c
@@ -149,6 +149,8 @@ static void serial_init ( void ) {
        int status;
        int divisor, lcs;
 
        int status;
        int divisor, lcs;
 

+       DBG ( "Serial port %#x initialising\n", UART_BASE );
+

        divisor = COMBRD;
        lcs = UART_LCS;
 
        divisor = COMBRD;
        lcs = UART_LCS;