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