Sawmill defunct?

[Peter Busser]

Hello,

> > I'm new to L4 and would like to learn more about microkernels by playing around
> > a bit with the various versions. But it looks like that, except for the L4
> > kernels, there is not much to play with. Or is there?
> 
> Well, there are several websites to look at:

[snip]

> I don't know what you're looking for but these sites should give you a
> start. You can definitely find L4 user-level programs there... ;)

I've seen those. I was looking for a bit more Linux compatibility for the time
being, so I don't have to give up my current environment alltogether. Maybe I
have missed something, but to me it looks like only L4Linux and Sawmill provide
such an environment.

Groetjes,
Peter Busser
-- 
The Adamantix Project
Taking trustworthy software out of the labs, and into the real world
http://www.adamantix.org/