Subject: Re: XhpBSD sources?
To: Torsten Sadowski <moehl@akaflieg.extern.tu-berlin.de>
From: Michael Wolfson <mw@costello.cnf.CORNELL.EDU>
List: port-hp300
Date: 12/07/2000 16:41:55 
On Thu, 7 Dec 2000, Torsten Sadowski wrote:

> are the sources for XhpBSD (the hp300 X11R5 server) available somewhere?

I think OpenBSD has the source for XhpBSD.  Also, I think they've got
reasonable HIL drivers for their hp700 port.

Good luck,
  -- MW