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
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