** Copyright 2001, Travis Geiselbrecht. All rights reserved.
** Distributed under the terms of the NewOS License.
*/
#include <kernel/kernel.h>
#include <boot/stage2.h>
#include <kernel/arch/dbg_console.h>
int arch_dbg_con_init(kernel_args *ka)
{
return 0;
}
char arch_dbg_con_read()
{
return 0;
}
static void arch_dbg_con_flush()
{
}
static void _arch_dbg_con_putch(const char c)
{
}
char arch_dbg_con_putch(const char c)
{
if (c == '\n') {
_arch_dbg_con_putch('\r');
_arch_dbg_con_putch('\n');
} else if (c != '\r')
_arch_dbg_con_putch(c);
return c;
}
void arch_dbg_con_puts(const char *s)
{
while(*s != '\0') {
arch_dbg_con_putch(*s);
s++;
}
}