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