> From: Mike Ferrara <mikef@rtfm.sr.hp.com>
> Subject: Re: Is there any Hp 700 series port
> To: rossspon@mindspring.com (Ross Sponholtz)
> Date: Thu, 5 Dec 1996 13:40:17 -0800 (PST)
> 
> According to Ross Sponholtz:
> [Charset ISO-8859-1 unsupported, filtering to ASCII...]
> > Is there an hp9000/700 port of NetBSD?  
> > 
> > I have the opportunity to get a 715 for pretty cheap, and I was wondering
> > if I would have to run HP/UX.
> > 
> > Thanks,
> > Ross Sponholtz
> > rossspon@atl.mindspring.com
> > 
> I've heard rumor of a Mach/Hurd port to the HP700's done at utah. There
> is no other BSD or Linux that I know of.
> 
> -mikef
> 
It is actually Mach/Lites.  See:

  http://www.cs.utah.edu/projects/flux/mach4-parisc/html/snapshot2.html

Not all that stable, fast or complete, but it runs.  Depends on which model
715 though.  We have had bizarre machine check problems with 7100LC-based
715's (e.g., the 715/100) that we don't see on other 7100LC machines (712s
or 725s).  715/50s and 715/75s should work just fine though.