Hello, Could I ask how do I enable double buffer support in FrameBuffer device? 
I think I could manually increase xres_virtual/yres_virtual to 2 times of the display size in video driver and swap xoffset/yoffset after VSync.  But could I know if this is the right way to do double buffering or this function is already built-in?

                                                                           Thank you!
                                                                                                                                Philip Chen