On Mon Oct 14 22:36:25 EDT 2013, lyn...@orthanc.ca wrote:
> > does pci output show a vga device?
> 
> Yes, and aux/vga shows all the VGA BIOS entries I expect to see.

does "aux/vga -l $vgasize" do what you expect?

- erik

Reply via email to