void terminal_putchar(char c) {
        if (c == '\n') {
                terminal_column = 0;
                terminal_row++;
        } else if (c == '\b') {
		if (terminal_column != 0) {
			terminal_column--;
			terminal_putentryat(0, terminal_color, terminal_column, terminal_row);
		} else {
			terminal_row--;
		}
	} else {
        terminal_putentryat(c, terminal_color, terminal_column, terminal_row);
        if (++terminal_column == VGA_WIDTH) {
                	terminal_column = 0;
        		if (++terminal_row == VGA_HEIGHT) {
				terminal_scroll();
				terminal_row = VGA_HEIGHT - 1;
			}
	        }
        }
}