I found in C code at this page:
uint16_t* terminal_buffer;
What does it mean? Is it the same as uint16_t *terminal_buffer;
?
Than variable terminal_buffer is accesed like an array:
terminal_buffer[index] = make_vgaentry(' ', terminal_color);
Can somebody explain me how it works? Thanks.