Print "\r\n" instead of "\n\r" in newline

Signed-off-by: Josh Felmeden <[email protected]>
seL4 · Jan 19, 2024 · 785263f · 785263f
1 parent 15be3b2
commit 785263f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/loader/src/loader.c b/loader/src/loader.c
@@ -153,9 +153,9 @@ static void
 putc(uint8_t ch)
 {
     while (!(*UART_REG(STAT) & STAT_TDRE)) { }
-    *UART_REG(TRANSMIT) = ch;
     if (ch == '\n')
         *UART_REG(TRANSMIT) = '\r';
+    *UART_REG(TRANSMIT) = ch;
 }
 #else
 #error Board not defined