Describe /dev/vgabios.
 [rsc] --rw-rw-r-- M 451989 glenda sys 4957 Nov  6 13:16 sys/man/3/vga
	/n/sourcesdump/2005/1106/plan9/sys/man/3/vga:5,15 - 
	/n/sourcesdump/2005/1107/plan9/sys/man/3/vga:5,14
	  .nf
	  .B bind #v /dev
	  
	+ .B /dev/vgabios
	  .B /dev/vgactl
	- 
	- .B /dev/vgaovlctl
	- 
	  .B /dev/vgaovl
	+ .B /dev/vgaovlctl
	  .fi
	  .SH DESCRIPTION
	  The VGA device allows configuration of a graphics controller
	/n/sourcesdump/2005/1106/plan9/sys/man/3/vga:23,28 - 
	/n/sourcesdump/2005/1107/plan9/sys/man/3/vga:22,31
	  it is used to implement configuration and setup of VGA controller cards.
	  This is usually performed by
	  .IR vga (8).
	+ .PP
	+ .B Vgabios
	+ provides read-only access to the low 640kB of memory,
	+ where the VGA and other BIOS ROMs are located.
	  .PP
	  Writing strings to 
	  .B vgactl
 [rsc] --rw-rw-r-- M 451989 glenda sys 3864 Nov  6 13:16 sys/man/8/vga
	/n/sourcesdump/2005/1106/plan9/sys/man/8/vga:59,65 - 
	/n/sourcesdump/2005/1107/plan9/sys/man/8/vga:59,64
	  .TP
	  .B -c
	  disable the use of the hardware graphics cursor.
	- (Since there is no software cursor, this disables the cursor entirely.)
	  .TP
	  .B -d
	  include the color palette in whatever actions are performed,