color_t * framebuffer_render_text(char *s, glyph_t **glyph_table, unsigned int glyph_table_size);
void console_render_buffer(uint8_t *gbuf, unsigned int gbufwidth, unsigned int gbufheight);