Subject: Re: Are PC164 based alphas supported?
To: None <>
From: dave <>
List: port-alpha
Date: 08/12/1997 10:26:18
On Tue, 12 Aug 1997, Ville-Pertti Keinonen wrote:

> Once again, I don't know about what exactly is available from OSF,
> AFAIK nothing free (which may very well be relevant to someone posting
> to a NetBSD list).  If restrictive licensing doesn't matter, it
> probably is the best source for a supported microkernel.
Actually, my real point was to see if the mach microkernel booted from the
ARC console...which was answered in the first message =)

(At the time I was trying to see if it would be useful to pull some work
from mach to help netbsd boot).

Have fun,