kernel/arch/console.h

#ifndef TAILIX_KERNEL_INCLUDED_CONSOLE
#define TAILIX_KERNEL_INCLUDED_CONSOLE 1

// Hardware text mode color constants.
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_BROWN         = 6,
    VGA_COLOR_LIGHT_GREY    = 7,
    VGA_COLOR_DARK_GREY     = 8,
    VGA_COLOR_LIGHT_BLUE    = 9,
    VGA_COLOR_LIGHT_GREEN   = 10,
    VGA_COLOR_LIGHT_CYAN    = 11,
    VGA_COLOR_LIGHT_RED     = 12,
    VGA_COLOR_LIGHT_MAGENTA = 13,
    VGA_COLOR_LIGHT_BROWN   = 14,
    VGA_COLOR_WHITE         = 15,
};

void console_initialize();

void console_print(const char *s);
void console_putc(char c);
void console_puts(const char *s);
void console_setcolor(unsigned char color);
void console_write(const char *data, unsigned int size);

#endif