> > +CONFIG_OVERRIDE_PCI_ID=y > > +CONFIG_VGA_VID=0x1af4 > > +CONFIG_VGA_DID=0x1010 > > Will this device ID work, even with your fixups regarding the PCI device ID?
Needs updating for virtio-1.0 indeed. Seems to not cause problems though for some strange reason, didn't trip up in testing so far ... fixed, Gerd
