1 typedef unsigned short vga_attribute;
3 #define VGA_COLOR_BLACK 0
4 #define VGA_COLOR_BLUE 1
5 #define VGA_COLOR_GREEN 2
6 #define VGA_COLOR_CYAN 3
7 #define VGA_COLOR_RED 4
8 #define VGA_COLOR_MAGENTA 5
9 #define VGA_COLOR_BROWN 6
10 #define VGA_COLOR_LIGHT_GREY 7
11 #define VGA_COLOR_DARK_GREY 8
12 #define VGA_COLOR_LIGHT_BLUE 9
13 #define VGA_COLOR_LIGHT_GREEN 10
14 #define VGA_COLOR_LIGHT_CYAN 11
15 #define VGA_COLOR_LIGHT_RED 12
16 #define VGA_COLOR_LIGHT_MAGENTA 13
17 #define VGA_COLOR_LIGHT_BROWN 14
18 #define VGA_COLOR_WHITE 15
21 tty_set_theme(vga_attribute fg, vga_attribute bg);
24 tty_put_char(char chr);
27 tty_put_str(char* str);