2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #include <kernel/kernel.h>
6 #include <boot/stage2.h>
8 #include <kernel/arch/dbg_console.h>
10 int arch_dbg_con_init(kernel_args
*ka
)
15 char arch_dbg_con_read()
20 /* Flush all FIFO'd bytes out of the serial port buffer */
21 static void arch_dbg_con_flush()
25 static void _arch_dbg_con_putch(const char c
)
29 char arch_dbg_con_putch(const char c
)
32 _arch_dbg_con_putch('\r');
33 _arch_dbg_con_putch('\n');
35 _arch_dbg_con_putch(c
);
40 void arch_dbg_con_puts(const char *s
)
43 arch_dbg_con_putch(*s
);