peter at trusteddebian.org
Wed Jul 30 17:07:10 CEST 2003
> > 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:
> 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.
The Adamantix Project
Taking trustworthy software out of the labs, and into the real world
More information about the l4-hackers