+
+void dbg_print(void *fb, int x, int y, const char *str)
+{
+ uint16_t *dest = (uint16_t*)fb + y * fb_width + x;
+
+ while(*str) {
+ int c = *str++;
+
+ if(c > ' ' && c < 128) {
+ draw_sprite(dest, fb_width * 2, &dbgfont, c - ' ');
+ }
+ dest += 8;
+ }
+}
+