#ifndef KERNEL_TTY_H #define KERNEL_TTY_H #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