/*
#ifndef CONSOLE_H
#define CONSOLE_H

#include <stdint.h>

uint32_t console_init();
void console_put_char(uint8_t c,uint8_t color, uint32_t x, uint32_t y);
void console_put_char_white(char);
void console_put_char_red(char);
void console_put_char_green(char);
void console_put_char_gray(char);
void console_put_str_white(char *);
void console_put_str_red(char *);
void console_put_str_green(char *);
void console_put_str_gray(char *);
void console_del_char();

#endif
*/