/* GVGA6400 BIOS mode 0x5C 640x480x256 */
static char g640x480x256_regs[71] =
{
  0x5F, 0x4F, 0x50, 0x82, 0x53, 0x9F, 0x0B, 0x3E, 0x00, 0x40, 0x00, 0x00,
  0x00, 0x00, 0x00, 0x00, 0xEB, 0x8E, 0xDF, 0x28, 0x00, 0xE4, 0x08, 0xC3,
  0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B,
    0x0C, 0x0D, 0x0E, 0x0F, 0x01, 0x00, 0x0F, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x05, 0x0F, 0xFF,
    0x03, 0x01, 0x0F, 0x00, 0x06,
    0xE3,
    0x01, 0x37, 0x64, 0x06, 0x20, 0x24, 0x08, 0x00, 0x00, 0x00, 0x02
};

/* GVGA6400 BIOS mode 0x5E 800x600x256 */
static char g800x600x256_regs[71] =
{
  0x7A, 0x63, 0x64, 0x9C, 0x6A, 0x91, 0x74, 0xF0, 0x00, 0x60, 0x00, 0x00,
  0x00, 0x00, 0x00, 0x00, 0x5A, 0x8C, 0x57, 0x32, 0x00, 0x5B, 0x6D, 0xC3,
  0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B,
    0x0C, 0x0D, 0x0E, 0x0F, 0x01, 0x00, 0x0F, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x05, 0x0F, 0xFF,
    0x03, 0x01, 0x0F, 0x00, 0x06,
    0xEB,
    0x01, 0x37, 0x7F, 0x07, 0x20, 0x24, 0x08, 0x00, 0x00, 0x00, 0x02
};