#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 = (uint8_t)(fg|bg<<4); } static inline uint16_t vga_entry(char uc, uint8_t color); static inline uint16_t vga_entry(char uc, uint8_t color) { return (uint16_t)(uc|color<<8); } void terminal_initialize(void) { 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