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 10int arch_dbg_con_init(kernel_args *ka) 11{ 12 return 0; 13} 14 15char arch_dbg_con_read() 16{ 17 return 0; 18} 19 20/* Flush all FIFO'd bytes out of the serial port buffer */ 21static void arch_dbg_con_flush() 22{ 23} 24 25static void _arch_dbg_con_putch(const char c) 26{ 27} 28 29char 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 40void arch_dbg_con_puts(const char *s) 41{ 42 while(*s != '\0') { 43 arch_dbg_con_putch(*s); 44 s++; 45 } 46} 47 48