kernel/vga.h

#ifndef HEADER_VGA
#define HEADER_VGA

enum vga_color {
	VGA_COLOR_BLACK = 0,
	VGA_COLOR_BLUE = 1,
	VGA_COLOR_GREEN = 2,
	VGA_COLOR_CYAN = 3,
	VGA_COLOR_RED = 4,
	VGA_COLOR_MAGENTA = 5,
	VGA_COLOR_ORANGE = 6,
	VGA_COLOR_GREY = 7,
	VGA_COLOR_GRAY = 7,
};

void cls(void);
void vga_init(enum vga_color fg, enum vga_color bg);

void vga_write(const char* text);
void vga_write_color( const char* text, enum vga_color fg, enum vga_color bg);
void vga_write_line(const char* text);
void vga_write_line_color( const char* text, enum vga_color fg, enum vga_color bg);

#endif