On Mon Jul 26 18:40:26 1999, David Brownlee wrote:
> 
> 	It would be nice if we explicitly mentioned miata in 
> 	Ports/alpha/index.html. If anyone can list the relevant info on
> 	the machine I'm happy to update the page.

Don't forget to add a note that there could be a problem when you use
a VGA card and not the serial console. My miata at work just panics
when I use the VGA card for the console.

I should do an update with a new snapshot to see if it is fixed now.

Bernd