On Fri, 23 Jan 1998, David Brownlee wrote:

> 	I believe MkLinux runs on them, which should mean Lites also runs,
> 	so there should be code out there to help... 

One of the initial supported platforms for Lites was the HP &xx series,
based on the Mach work done at Utah.  Making MkLinux work on those should
have been more or less a trivial hack.

On the other hand, I've heard of some folks working on a NetBSD port, but
I have no idea what the status is.

--scott