Hi,
But supporting multiple VGA cards is something we want anyway since I think Spice uses this to have multiple heads. Gerd?
The secondary qxl devices are a bit different. They are not vga compatible. They register as generic display class device. They have no vga bios. You need qxl guest drivers to drive them.
As a curiosity, do you then need a normal vga device to see boot messages? How does it work before you load the drivers?
There are "qxl-vga" and "qxl" devices. The first variant is vga compatible (i.e. has bios, has vga mode, grabs isa vga ports, shows boot screen, ...), the other isn't. Once switched into native qxl mode there is no difference between those two devices.
cheers, Gerd