Changes in kernel/arch/arm64/src/arm64.c [ebb3538:db17889] 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>
@@ -257 +256 @@
 }
 
-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
-}
-
 /** @}
  */