nsfb_t *framebuffer_initialise(int argc, char** argv);
void framebuffer_finalise(void);
bool framebuffer_set_cursor(struct bitmap *bm);