2 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3 * Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
13 #include <l4/sys/compiler.h>
14 #include "koptions-def.h"
18 void com_cons_putchar(int ch);
19 int com_cons_try_getchar(void);
20 int com_cons_char_avail(void);
21 int com_cons_init(int com_port, int com_irq,
22 L4_kernel_options::Uart *kuart,
23 unsigned int *kuart_flags);