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,
--Dave