Fix UART transmit register offset

seL4 · Jan 27, 2024 · 1dff901 · 1dff901
1 parent 9ac0203
commit 1dff901
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/loader/src/loader.c b/loader/src/loader.c
@@ -146,7 +146,7 @@ putc(uint8_t ch)
 #elif defined(BOARD_maaxboard)
 #define UART_BASE 0x30860000
 #define STAT 0x98
-#define TRANSMIT 0x49
+#define TRANSMIT 0x40
 #define STAT_TDRE (1 << 14)
 
 static void