#include "color.h" #include "font.h" framebuffer_t *framebuffer_render_text(char *s, glyph_t **glyph_table, unsigned int glyph_table_size); void console_render_buffer(framebuffer_t *fb);