+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;
+}