- uart_console_write(&serial21285_port, s, count, serial21285_console_putchar);
+ int i;
+
+ for (i = 0; i < count; i++) {
+ while (*CSR_UARTFLG & 0x20)
+ barrier();
+ *CSR_UARTDR = s[i];
+ if (s[i] == '\n') {
+ while (*CSR_UARTFLG & 0x20)
+ barrier();
+ *CSR_UARTDR = '\r';
+ }
+ }