#ifndef _TTY_H_ #define _TTY_H_ #include "types.h" void tty_init(); void tty_setcolor(uint8_t color); void tty_putchar(char c); void tty_writestring(const char* data); #endif