1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#ifndef SOURCE_VGA_H
#define SOURCE_VGA_H
#include<types.h>
static const size_t VGA_WIDTH = 80;
static const size_t VGA_HEIGHT = 25;
enum vga_color {
VGA_COLOR_BLACK = 0,
VGA_COLOR_DARK_BLUE = 1,
VGA_COLOR_GREEN = 2,
VGA_COLOR_TURQUOISE = 3,
VGA_COLOR_RED = 4,
VGA_COLOR_PURPLE = 5,
VGA_COLOR_BROWN = 6,
VGA_COLOR_LIGHT_GREY = 7,
VGA_COLOR_DARK_GREY = 8,
VGA_COLOR_BLUE = 9,
VGA_COLOR_LIGHT_GREEN = 10,
VGA_COLOR_LIGHT_BLUE = 11,
VGA_COLOR_LIGHT_RED = 12,
VGA_COLOR_PINK = 13,
VGA_COLOR_YELLOW = 14,
VGA_COLOR_WHITE = 15,
};
void set_color(enum vga_color fg, enum vga_color bg);
void terminal_initialize(void);
void terminal_putentryat(char c, uint8_t color, size_t x, size_t y);
void movescreen(void);
void next_field(void);
void previous_field(void);
void terminal_putchar(char c);
void terminal_writestring(const char* data);
void terminal_writeint(uint32_t num);
void terminal_writefloat(double num);
void clear(void);
#endif
|
