include/kernel/arch/dbg_console.h

   1 /*
   2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
   3 ** Distributed under the terms of the NewOS License.
   4 */
   5 #ifndef _NEWOS_KERNEL_ARCH_DBG_CONSOLE
   6 #define _NEWOS_KERNEL_ARCH_DBG_CONSOLE
   7
   8 #include <boot/stage2.h>
   9
  10 char arch_dbg_con_read(void);
  11 char arch_dbg_con_putch(char c);
  12 void arch_dbg_con_puts(const char *s);
  13 int arch_dbg_con_init(kernel_args *ka);
  14
  15 #endif
  16