-static uint32_t tty_x = 0;
-static uint32_t tty_y = 0;
-
-void tty_init(void* vga_buf) {
- tty_vga_buffer = (vga_attribute*)vga_buf;
- tty_clear();
-
- io_outb(0x3D4, 0x0A);
- io_outb(0x3D5, (io_inb(0x3D5) & 0xC0) | 13);
-
- io_outb(0x3D4, 0x0B);
- io_outb(0x3D5, (io_inb(0x3D5) & 0xE0) | 15);
-}
-
-void tty_set_buffer(void* vga_buf) {
- tty_vga_buffer = (vga_attribute*)vga_buf;
-}
-
-void
-tty_set_theme(vga_attribute fg, vga_attribute bg)