-static uint32_t tty_x = 0;
-static uint16_t tty_y = 0;
-
-void tty_init(void* vga_buf) {
- tty_vga_buffer = (vga_attribute*)vga_buf;
- tty_clear();
-}
-
-void tty_set_buffer(void* vga_buf) {
- tty_vga_buffer = (vga_attribute*)vga_buf;
-}
-
-void
-tty_set_theme(vga_attribute fg, vga_attribute bg)