From mboxrd@z Thu Jan  1 00:00:00 1970
From: Lucio De Re <lucio@proxima.alt.za>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Where is vgactl?
Message-ID: <20011026140642.E19815@cackle.proxima.alt.za>
References: <20011026113426.2838D199E4@mail.cse.psu.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
In-Reply-To: <20011026113426.2838D199E4@mail.cse.psu.edu>; from forsyth@vitanuova.com on Fri, Oct 26, 2001 at 12:35:03PM +0100
Date: Fri, 26 Oct 2001 14:06:42 +0200
Topicbox-Message-UUID: 0e575306-eaca-11e9-9e20-41e7f4b1d025

On Fri, Oct 26, 2001 at 12:35:03PM +0100, forsyth@vitanuova.com wrote:
> 
> it isn't bound automatically so you need
> 	bind -b '#v' /dev
> to make it appear in /dev, or use
> 	echo -n 'size 800x600x8' >'#v/vgactl'
> 
> that's probably still not what you intend, because VGA being what it is,
> a host of major and minor register values need to be adjusted in most cases,
> in a device-dependent way.  use aux/vga, described by vga(8).
> read the manual page first, though.  aux/vga eventually sets the
> using vgactl, but sets all those registers first, if it can.
> it needs to be done outside rio.

Wouldn't it make more sense for aux/vga to serve /dev/vga* after
initialising the environment?  I suppose the right answer is "Try it",
or am I missing something?

++L