libplatsupport: fix typo

Signed-off-by: Felix Schladt <felix.schladt@hensoldt.net>
seL4 · Feb 26, 2024 · e456c24 · e456c24
1 parent 09a20f9
commit e456c24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libplatsupport/src/mach/bcm/pl011_uart.c b/libplatsupport/src/mach/bcm/pl011_uart.c
@@ -132,7 +132,7 @@ static int pl011_uart_cr_configure(ps_chardevice_t *dev)
     uint32_t val = r->cr;
 
     val |= CR_TXE; // Transmit enable
-    val |= CR_RXE; // Teceive enable
+    val |= CR_RXE; // Receive enable
 
     r->cr = val;