The arm32 port has two different console drivers - pc3 is used
	on the Shark, while vt100 is correct for the original RiscPC and
	friends.

	Given the Shark is the less common machine, its probably best to
	revert this until someone switches it to wscons (though it would
	be worth leaving a comment in the file warning people :)

		David/absolute

On Thu, 6 Jan 2000, Jeremy Cooper wrote:

> 
> Module Name:	basesrc
> Committed By:	jeremy
> Date:		Fri Jan  7 05:28:21 UTC 2000
> 
> Modified Files:
> 	basesrc/etc/etc.arm32: ttys
> 
> Log Message:
> Changed to reflect that VGA console works better as 'pc3' terminal type
> than as 'vt100'.
> 
> 
> To generate a diff of this commit:
> cvs rdiff -r1.5 -r1.6 basesrc/etc/etc.arm32/ttys
> 
> Please note that diffs are not public domain; they are subject to the
> copyright notices on the relevant files.
>