#ifndef KERNEL_TTY
#define KERNEL_TTY

#include <stddef.h>

void tty_init(void);
void tty_putchar(char c);
void tty_write(const char *data, size_t size);
void tty_writestring(const char *data);

#endif