#include #include #include #include size_t terminal_row; size_t terminal_column; uint8_t terminal_color; uint16_t* terminal_buffer; void set_color(enum vga_color fg, enum vga_color bg) { terminal_color = fg | bg << 4; } static inline uint16_t vga_entry(unsigned char uc, uint8_t color) { return (uint16_t) uc | (uint16_t) color << 8; } void terminal_initialize() { terminal_row=0; terminal_column=0; set_color(VGA_COLOR_LIGHT_GREY, VGA_COLOR_BLACK); terminal_buffer=(uint16_t*) 0xB8000; for(size_t y=0;y