1 /* 2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #include <kernel/kernel.h> 6 #include <boot/stage2.h> 7 8 #include <kernel/arch/dbg_console.h> 9 10 int arch_dbg_con_init(kernel_args *ka) 11 { 12 return 0; 13 } 14 15 char arch_dbg_con_read() 16 { 17 return 0; 18 } 19 20 /* Flush all FIFO'd bytes out of the serial port buffer */ 21 static void arch_dbg_con_flush() 22 { 23 } 24 25 static void _arch_dbg_con_putch(const char c) 26 { 27 } 28 29 char arch_dbg_con_putch(const char c) 30 { 31 if (c == '\n') { 32 _arch_dbg_con_putch('\r'); 33 _arch_dbg_con_putch('\n'); 34 } else if (c != '\r') 35 _arch_dbg_con_putch(c); 36 37 return c; 38 } 39 40 void arch_dbg_con_puts(const char *s) 41 { 42 while(*s != '\0') { 43 arch_dbg_con_putch(*s); 44 s++; 45 } 46 } 47 48