Changes in kernel/arch/arm64/src/arm64.c [db17889:ebb3538] in mainline

File:

• kernel/arch/arm64/src/arm64.c (modified) (2 diffs)

kernel/arch/arm64/src/arm64.c

@@ -40 +40 @@
 #include <arch/exception.h>
 #include <arch/machine_func.h>
+#include <console/console.h>
 #include <interrupt.h>
 #include <proc/scheduler.h>
@@ -256 +257 @@
 }
 
+void early_putuchar(char32_t c)
+{
+#ifdef CONFIG_DEBUG_EARLY_PRINT
+        if (c == '\n')
+                machine_early_uart_output('\r');
+
+        machine_early_uart_output(c);
+#endif
+}
+
 /** @}
  */