void terminal_newline() {
terminal_column = 0;
if (++terminal_row == VGA_HEIGHT) {
terminal_row = 0;
}
//TODO: scrolling support, possibly
}
void terminal_putchar(char c) {
if (c == '\n') {
terminal_newline();
} else {
terminal_putentryat(c, terminal_color, terminal_column, terminal_row);
if (++terminal_column == VGA_WIDTH) {
terminal_newline();
}
}
}