star64: Don't mask off high bits of serial output

The UART device can print more than 7-bit ascii. Signed-off-by: Jimmy Brush <[email protected]>
seL4 · Aug 22, 2023 · 9982c34 · 9982c34
1 parent bfeda95
commit 9982c34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libplatsupport/src/plat/star64/serial.c b/libplatsupport/src/plat/star64/serial.c
@@ -31,7 +31,7 @@ int uart_putchar(ps_chardevice_t *d, int c)
     while ((*REG_PTR(d->vaddr, UART_LSR) & UART_LSR_THRE) == 0);
 
     /* Add character to the buffer. */
-    *REG_PTR(d->vaddr, UART_THR) = c & 0x7f;
+    *REG_PTR(d->vaddr, UART_THR) = c;
 
     return c;
 }