#ifndef __TTY_H__
#define __TTY_H__

void tty_init(void);
char tty_getchar(void);
void tty_putchar(char c);
void tty_putstr(char *str);

#endif