#include #include void tty_init() { vga_clear(); } void tty_write(const char *buf, size_t len) { vga_write(buf, len); }