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: <20011026184309.B20412@cackle.proxima.alt.za>
References: <20011026153104.AC35119A2F@mail.cse.psu.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
In-Reply-To: <20011026153104.AC35119A2F@mail.cse.psu.edu>; from forsyth@vitanuova.com on Fri, Oct 26, 2001 at 04:36:18PM +0100
Date: Fri, 26 Oct 2001 18:43:09 +0200
Topicbox-Message-UUID: 0eaabfbe-eaca-11e9-9e20-41e7f4b1d025

On Fri, Oct 26, 2001 at 04:36:18PM +0100, forsyth@vitanuova.com wrote:
> 
> aux/vga doesn't serve it; #v/vgactl is the kernel's exposed interface
> to its part of the vga graphics support.
> 
I'll always carry my first language with me and will never learn to
disambiguate English sentences.

I meant: "Would it make sense for aux/vga to set up the VGA
environment - based on a much simpler kernel device - and then serve
/dev/vga* itself?"

++L