4 /* FILE: tty_devices.c */
5 void draw_character(int character
);
8 void cleanup_devices();
14 int vm_load_image(char *image
);
15 int vm_save_image(char *image
);
18 int main(int argc
, char **argv
);
21 void drawpixel(int x
, int color
);
22 int update_display(void *unused
);