#include "libfb.h"
/*---------------------------------------------------------------------
                  Put a dot on the screen
  ---------------------------------------------------------------------*/
void
fbPixel(int x, int y, u16 color)
{
  ((u16 *)osViGetNextFramebuffer())[x + FB_SCREEN_WD*y]=color;
}