Understanding framebuffer drivers