[okl4-developer] Sheevaplug?

[David Leimbach]

On Jan 7, 2010, at 2:04 AM, Gernot Heiser wrote:

>> Anyone working with these with OKL4?
> 
> I've got a few lying around the lab, but so far no student volunteer
> to hack on them...
> 
> Gernot


I was mainly interested in them as a fairly low cost ARM platform to with OKL4 development.  I believe the Inferno Operating system works on it as well, and I've been considering an L4-Inferno or L4-Plan9 port.  It looks like a group in Japan already successfully married Plan 9 and Pistachio though.  I don't know any Japanese, so I have difficulty figuring out what exactly they did, but I have a working VMware image of it that seems to work quite well with networking, and the ability to remote 9P resources.

I think something similar for Inferno would be quite interesting, but I'd rather have Inferno hosted on L4 as a userland process rather than in privileged mode (Inferno already supports both though).

Dave